Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540584681, 9783540489849

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Languages for reactive specifications: Synchrony vs asynchrony

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_187 ◽

1994 ◽

pp. 621-640 ◽

Cited By ~ 1

Author(s):

R. K. Shyamasundar ◽

S. Ramesh

Download Full-text

Specifying and verifying fault-tolerant systems

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_159 ◽

1994 ◽

pp. 41-76 ◽

Cited By ~ 26

Author(s):

Leslie Lamport ◽

Stephan Merz

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems

Download Full-text

Activation-oriented specification of real-time systems

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_170 ◽

1994 ◽

pp. 268-287 ◽

Cited By ~ 3

Author(s):

Vered Gafni ◽

Amiram Yehudai ◽

Yishai A. Feldman

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

A layered real-time specification of a RISC processor

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_178 ◽

1994 ◽

pp. 455-475 ◽

Cited By ~ 2

Author(s):

Peter Kearney ◽

Mark Utting

Keyword(s):

Real Time ◽

Risc Processor

Download Full-text

Simulation approach to provably correct hardware compilation

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_172 ◽

1994 ◽

pp. 336-350 ◽

Cited By ~ 1

Author(s):

He Jifeng ◽

Zheng Jianping

Keyword(s):

Simulation Approach ◽

Hardware Compilation

Download Full-text

Testing and refinement for nondeterministic and probabilistic processes

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_176 ◽

1994 ◽

pp. 418-430 ◽

Cited By ~ 19

Author(s):

Bengt Jonsson ◽

Chris Ho-Stuart ◽

Wang Yi

Keyword(s):

Probabilistic Processes

Download Full-text

Specifying timed state sequences in powerful decidable logics and timed automata

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_191 ◽

1994 ◽

pp. 694-715 ◽

Cited By ~ 69

Author(s):

Thomas Wilke

Keyword(s):

Timed Automata

Download Full-text

Provably Correct Systems

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_171 ◽

1994 ◽

pp. 288-335 ◽

Cited By ~ 34

Author(s):

Jifeng He ◽

C. A. R. Hoare ◽

Martin FrÄnzle ◽

Markus Müller-Olm ◽

Ernst-Rüdiger Olderog ◽

...

Download Full-text

From physical modelling to compositional models of hybrid systems

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_185 ◽

1994 ◽

pp. 583-604 ◽

Cited By ~ 6

Author(s):

Simin Nadjm-Tehrani ◽

Jan-Erik Strömberg

Keyword(s):

Hybrid Systems ◽

Physical Modelling

Download Full-text

Algebraic reasoning for real-time probabilistic processes with uncertain information

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_190 ◽

1994 ◽

pp. 680-693 ◽

Cited By ~ 13

Author(s):

Wang Yi

Keyword(s):

Real Time ◽

Algebraic Reasoning ◽

Uncertain Information ◽

Probabilistic Processes

Download Full-text

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Languages for reactive specifications: Synchrony vs asynchrony

Specifying and verifying fault-tolerant systems

Activation-oriented specification of real-time systems

A layered real-time specification of a RISC processor

Simulation approach to provably correct hardware compilation

Testing and refinement for nondeterministic and probabilistic processes

Specifying timed state sequences in powerful decidable logics and timed automata

Provably Correct Systems

From physical modelling to compositional models of hybrid systems

Algebraic reasoning for real-time probabilistic processes with uncertain information

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems
Latest Publications