Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, September 19-23, 1994 Proceedings

Authors:
Hans Langmaack;Jan Vytopil;W. P. De Roever
Affiliations:
-;-;-
Venue:
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, September 19-23, 1994 Proceedings
Year:
1994

Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS

IEEE Transactions on Software Engineering
The ProCoS Approach to Correct Systems

Real-Time Systems - Special issue on safety-critical systems
Correct Real-Time Software for Programmable Logic Controllers

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Decomposing Real-Time Specifications

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Formal design of real-time systems in a platform-independent way

Engineering of distributed control systems

Hi-index	0.00