Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540630104, 9783540690580

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specification and verification of a real-time field bus with formal description languages

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_28 ◽

1997 ◽

pp. 415-429 ◽

Cited By ~ 5

Author(s):

P. Mariño ◽

F. Poza ◽

M. Domínguez ◽

J. Nogueira

Keyword(s):

Real Time ◽

Formal Description ◽

Field Bus ◽

Specification And Verification ◽

Description Languages

Download Full-text

Extending LOTOS with time: A true concurrency perspective

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_26 ◽

1997 ◽

pp. 383-399 ◽

Cited By ~ 8

Author(s):

Howard Bowman ◽

John Derrick

Keyword(s):

True Concurrency

Download Full-text

High-level execution time analysis

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_22 ◽

1997 ◽

pp. 325-339 ◽

Cited By ~ 1

Author(s):

Farn Wang

Keyword(s):

Execution Time ◽

Time Analysis ◽

High Level

Download Full-text

Specification and refinement of continuous real-time systems

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_21 ◽

1997 ◽

pp. 310-324

Author(s):

Stephen Goldsack ◽

Kevin Lano ◽

Eugene Durr

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Contracts for ODP

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_15 ◽

1997 ◽

pp. 216-232 ◽

Cited By ~ 3

Author(s):

Arnaud Février ◽

Elie Najm ◽

Jean -Bernard Stefani

Download Full-text

Formal specification and verification method of concurrent and distributed systems by restricted timed automata

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_12 ◽

1997 ◽

pp. 169-183

Author(s):

Satoshi Yamane

Keyword(s):

Distributed Systems ◽

Formal Specification ◽

Timed Automata ◽

Verification Method ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Concurrent And Distributed Systems

Download Full-text

Llull as computer scientist or why Llull was one of us

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_2 ◽

1997 ◽

pp. 15-21 ◽

Cited By ~ 1

Author(s):

Ton Sales

Keyword(s):

Computer Scientist

Download Full-text

A sound and complete proof system for probabilistic processes

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_23 ◽

1997 ◽

pp. 340-352 ◽

Cited By ~ 3

Author(s):

F. Cuartero Gómez ◽

D. de Frutos Escrig ◽

V. Valero Ruiz

Keyword(s):

Proof System ◽

Complete Proof ◽

Probabilistic Processes

Download Full-text

Refining interval temporal logic specifications

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_6 ◽

1997 ◽

pp. 79-94 ◽

Cited By ~ 16

Author(s):

Antonio Cau ◽

Hussein Zedan

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

Deductive verification of real-time systems using STeP

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_3 ◽

1997 ◽

pp. 22-43 ◽

Cited By ~ 12

Author(s):

Nikolaj S. Bjørner ◽

Zohar Manna ◽

Henny B. Sipma ◽

Tomás E. Uribe

Keyword(s):

Real Time ◽

Real Time Systems ◽

Deductive Verification ◽

Time Systems

Download Full-text

Transformation-Based Reactive Systems Development - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Specification and verification of a real-time field bus with formal description languages

Extending LOTOS with time: A true concurrency perspective

High-level execution time analysis

Specification and refinement of continuous real-time systems

Contracts for ODP

Formal specification and verification method of concurrent and distributed systems by restricted timed automata

Llull as computer scientist or why Llull was one of us

A sound and complete proof system for probabilistic processes

Refining interval temporal logic specifications

Deductive verification of real-time systems using STeP

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science
Latest Publications