Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 863)
Included in the following conference series:
- FTRTFT: International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
- ProCoS: International Symposium of the CEC-Supported Working Group Provably Correct Systems
Conference proceedings info: FTRTFT 1994, ProCoS 1994.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.
Similar content being viewed by others
Keywords
Table of contents (39 papers)
Other volumes
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Bibliographic Information
Book Title: Formal Techniques in Real-Time and Fault-Tolerant Systems
Book Subtitle: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Editors: Hans Langmaack, Willem-Paul Roever, Jan Vytopil
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-58468-4
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-58468-1Published: 07 September 1994
eBook ISBN: 978-3-540-48984-9Published: 03 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 787
Topics: Theory of Computation, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Processor Architectures, Special Purpose and Application-Based Systems, Memory Structures