- Vered Gafni, Amiram Yehudai, Yishai A. Feldman:
Activation-Oriented Specification of Real-Time Systems. FTRTFT 1994: 268-287 - Thomas A. Henzinger, Peter W. Kopke:
Verification Methods for the Divergent Runs of Clock Systems. FTRTFT 1994: 351-372 - Jozef Hooman:
Correctness of Real Time Systems by Construction. FTRTFT 1994: 19-40 - Hans-Martin Hörcher:
The DST Z-Tools. FTRTFT 1994: 778 - Hans-Martin Hörcher, Uwe Schmidt:
The VDM Domain Compiler. FTRTFT 1994: 779 - ITEX-DE: A TTCN Development Environment. FTRTFT 1994: 784
- Tomasz Janowski:
Fault-Tolerant Bisimulation and Process Tranformations. FTRTFT 1994: 373-392 - Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers:
Layering of Real-Time Distributed Processes. FTRTFT 1994: 393-417 - Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel:
Provably Correct Systems. FTRTFT 1994: 288-335 - Jifeng He, Jianping Zheng:
Simulation Approach to Provably Correct Hardware Compilation. FTRTFT 1994: 336-350 - Bengt Jonsson, Chris Ho-Stuart, Wang Yi:
Testing and Refinement for Nondeterministic and Probabilistic Processes. FTRTFT 1994: 418-430 - Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454 - Thomas Käufl, Stefan Klingenbeck:
Tatzelwurm. FTRTFT 1994: 786 - Peter Kearney, Mark Utting
:
A Layered Real-Time Specification of a RISC Processor. FTRTFT 1994: 455-475 - J. K. Kishore, R. S. Manjunatha, V. K. Agrawal, N. K. Malik, Prem Shankar Goel:
A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft. FTRTFT 1994: 476-487 - Yassine Lakhnech, Jozef Hooman:
Reasoning about Durations in Metric Temporal Logic. FTRTFT 1994: 488-510 - Leslie Lamport, Stephan Merz:
Specifying and Verifying Fault-Tolerant Systems. FTRTFT 1994: 41-76 - Gérard Le Lann:
Scheduling in Critical Real-Time Systems: a Minfesto. FTRTFT 1994: 511-528 - Poul Bøgh Lassen:
IFAD VDM-SL Toolbox. FTRTFT 1994: 781 - Thomas Lindner:
Case Study Production Cell. FTRTFT 1994: 780 - Zhiming Liu, Mathai Joseph:
Stepwise Development of Fault-Tolerant Reactive Systems. FTRTFT 1994: 529-546 - Olivier Maffeïs, Paul Le Guernic:
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. FTRTFT 1994: 547-566 - Ryosei Mori, Naoki Yonezaki:
Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. FTRTFT 1994: 567-582 - Simin Nadjm-Tehrani, Jan-Erik Strömberg:
From Physical Modelling to Compositional Models of Hybrid Systems. FTRTFT 1994: 583-604 - Amir Pnueli:
Development of Hybrid Systems. FTRTFT 1994: 77-85 - Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Formal Specification and Verification Using KIV. FTRTFT 1994: 787 - John M. Rushby, Jens Ulrik Skakkebæk:
The PVS Verification System and PC/DC. FTRTFT 1994: 777 - The SDL Design Tool. FTRTFT 1994: 785
- Michael Schenke:
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency. FTRTFT 1994: 605-620 - R. K. Shyamasundar, S. Ramesh:
Languages for Reactive Specifications: Synchrony Vs Asynchrony. FTRTFT 1994: 621-640
