2. FTRTFT 1992:
Nijmegen, The Netherlands Jan Vytopil (Ed.):
Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings.
Lecture Notes in Computer Science 571 Springer 1991, ISBN 3-540-55092-5 Session 1
export record as
dblp key:
export record as
dblp key:
conf/ftrtft/ChaochenHRR92 export record as
dblp key:
Session 2A
export record as
dblp key:
Mats Daniels :
Modelling Real-Time Behaviour with an Interval Time Calculus.
53-71
export record as
dblp key:
Odile Millet :
Multicycles and RTL Logic Satisfiability.
73-86
Session 2B
export record as
dblp key:
Abha Moitra :
Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems.
87-106
export record as
dblp key:
Session 3
export record as
dblp key:
conf/ftrtft/BreveglieriCC92 export record as
dblp key:
export record as
dblp key:
Session 4A
export record as
dblp key:
export record as
dblp key:
Natarajan Shankar :
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization.
217-236
Session 5
export record as
dblp key:
John M. Rushby :
Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems.
237-257
export record as
dblp key:
Session 6A
export record as
dblp key:
Klaus D. Heidtmann :
Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems.
271-289
Session 6B
export record as
dblp key:
export record as
dblp key:
Session 7A
export record as
dblp key:
conf/ftrtft/Kurki-SuonioSV92 export record as
dblp key:
Yogesh Naik :
A Temporal Approach to Requirements Specification of Real-Time Systems.
341-361
export record as
dblp key:
John Plaice :
RLucid, a General Real-Time Dataflow Language.
363-374
Session 7B
export record as
dblp key:
conf/ftrtft/Cardell-Oliver92 Rachel Cardell-Oliver :
A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic.
375-392
export record as
dblp key:
Colin J. Fidge :
Specification and Verification of Real-Time Behaviour Using Z and RTL.
393-409
export record as
dblp key:
conf/ftrtft/ScholefieldZ92
Session 8
export record as
dblp key:
Martin Richard ,
Olivier Roux :
An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language.
429-450
export record as
dblp key:
Session 9A
export record as
dblp key:
export record as
dblp key:
Alan Jeffrey :
Translating Timed Process Algebra into Prioritized Process Algebra.
493-506
export record as
dblp key:
conf/ftrtft/Ortega-Mallen92
Session 9B
export record as
dblp key:
export record as
dblp key:
Supplement
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
