- Henny Sipma, Zohar Manna:
Specification and Verification of Controlled Systems. FTRTFT 1994: 641-659 - Jens Ulrik Skakkebæk, Natarajan Shankar:
Towards a Duration Calculus Proof Assistant in PVS. FTRTFT 1994: 660-679 - Wang Yi:
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. FTRTFT 1994: 680-693 - Susanne Wiefel, Gerhard Trefz:
STATEMATE. FTRTFT 1994: 776 - Thomas Wilke:
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata. FTRTFT 1994: 694-715 - Klaus Winkelmann, Thomas Filkorn:
System Verification Environment - SVE. FTRTFT 1994: 783 - Klaus Winkelmann, Klaus Nökel:
Control Specification Language - CSL. FTRTFT 1994: 782 - Tools Demonstration. FTRTFT 1994: 776-787
- Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun:
A Calculus for Hybrid Sampled Data Systems. FTRTFT 1994: 716-737 - Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya:
Formal Design of Hybrid Systems. FTRTFT 1994: 738-755 - Zheng Yuhua, Chaochen Zhou:
A Formal Proof of the Deadline Driven Scheduler. FTRTFT 1994: 756-775 - Chaochen Zhou:
Linear Duration Invariants. FTRTFT 1994: 86-109 - Hans Langmaack, Willem P. de Roever, Jan Vytopil:
Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings. Lecture Notes in Computer Science 863, Springer 1994, ISBN 3-540-58468-4 [contents] - 1992
- Jos C. M. Baeten, Jan A. Bergstra:
Asynchronous Communication in Real Space Process Algebra. FTRTFT 1992: 473-492 - Frank S. de Boer, Jozef Hooman:
The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT 1992: 451-472 - Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi:
Real-Time Scheduling by Queue Automata. FTRTFT 1992: 131-147 - Rachel Cardell-Oliver:
A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic. FTRTFT 1992: 375-392 - Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel:
Duration Specifications for Shared Processors. FTRTFT 1992: 21-32 - J. Coenen, Jozef Hooman:
A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT 1992: 33-51 - Peter Coesmans, Martin J. Wieczorek:
Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic. FTRTFT 1992: 571-590 - Mats Daniels
:
Modelling Real-Time Behaviour with an Interval Time Calculus. FTRTFT 1992: 53-71 - Jim Davies, Dave Jackson, Steve A. Schneider:
Broadcast Communication for Real-time Processes. FTRTFT 1992: 149-169 - Bernard Delyon, Oded Maler:
On Fault-Tolerant Symbolic Computations. FTRTFT 1992: 259-269 - Colin J. Fidge:
Specification and Verification of Real-Time Behaviour Using Z and RTL. FTRTFT 1992: 393-409 - Asis Goswami, Michael Bell, Mathai Joseph:
ISL: An Interval Logic for the Specification of Real-time Programs. FTRTFT 1992: 1-20 - Klaus D. Heidtmann:
Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems. FTRTFT 1992: 271-289 - Wil Janssen, Job Zwiers:
Protocol Design by Layered Decomposition: A Compositional Approach. FTRTFT 1992: 307-326 - Alan Jeffrey:
Translating Timed Process Algebra into Prioritized Process Algebra. FTRTFT 1992: 493-506 - Yonit Kesten, Amir Pnueli:
Timed and Hybrid Statecharts and Their Textual Representation. FTRTFT 1992: 591-620 - Padmanabhan Krishnan, Peter D. Mosses:
Specifying Asynchronous Transfer of Control. FTRTFT 1992: 291-306
