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

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650034, 9783540497929

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a formal semantics of verilog using duration calculus

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

10.1007/bfb0055355 ◽

1998 ◽

pp. 282-293 ◽

Author(s):

Gerardo Schneider ◽

Qiwen Xu

Keyword(s):

Formal Semantics ◽

Duration Calculus

Download Full-text

Synchronizing clocked transition systems

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

10.1007/bfb0055346 ◽

1998 ◽

pp. 173-185

Author(s):

Mannes Poel ◽

Job Zwiers

Keyword(s):

Transition Systems

Download Full-text

Some decidability results for duration calculus under synchronous interpretation

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

10.1007/bfb0055347 ◽

1998 ◽

pp. 186-197 ◽

Author(s):

Manoranjan Satpathy ◽

Dang Van Hung ◽

Paritosh K. Pandya

Keyword(s):

Duration Calculus

Download Full-text

Formal verification of stabilizing systems

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

10.1007/bfb0055345 ◽

1998 ◽

pp. 158-172 ◽

Author(s):

M. Siegel

Keyword(s):

Formal Verification

Download Full-text

Static analysis to identify invariants in RSML specifications

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

10.1007/bfb0055343 ◽

1998 ◽

pp. 133-142 ◽

Author(s):

David Y. W. Park ◽

Jens U. SkakkebÆk ◽

David L. Dill

Keyword(s):

Static Analysis

Download Full-text

Duration Calculus in the specification of safety requirements

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

10.1007/bfb0055340 ◽

1998 ◽

pp. 103-112 ◽

Author(s):

S. Veloudis ◽

N. Nissanke

Keyword(s):

Duration Calculus ◽

Safety Requirements

Download Full-text

Moby/PLC — Graphical development of PLC-automata

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

10.1007/bfb0055360 ◽

1998 ◽

pp. 311-314 ◽

Author(s):

Josef Tapken ◽

Henning Dierks

Download Full-text

A general framework for the composition of timed systems

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

10.1007/bfb0055333 ◽

1998 ◽

pp. 27-28

Author(s):

Joseph Sifakis

Keyword(s):

General Framework ◽

Download Full-text

Discrete-time Promela and Spin

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

10.1007/bfb0055359 ◽

1998 ◽

pp. 307-310 ◽

Author(s):

Dragan Bošnački ◽

Dennis Dams

Keyword(s):

Download Full-text

Designing a provably correct robt control system using a ‘lean’ formal method

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

10.1007/bfb0055342 ◽

1998 ◽

pp. 123-132 ◽

Author(s):

Antonio Cau ◽

Chris Czarnecki ◽

Hussein Zedan

Keyword(s):

Control System ◽

Download Full-text