Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1486)
Included in the following conference series:
Conference proceedings info: FTRTFT 1998.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (31 papers)
Other volumes
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Keywords
About this book
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
Bibliographic Information
Book Title: Formal Techniques in Real-Time and Fault-Tolerant Systems
Book Subtitle: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Editors: Anders P. Ravn, Hans Rischel
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0055330
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1998
Softcover ISBN: 978-3-540-65003-4Published: 02 September 1998
eBook ISBN: 978-3-540-49792-9Published: 31 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 347
Topics: Programming Languages, Compilers, Interpreters, Computer System Implementation, Theory of Computation, Logics and Meanings of Programs, Processor Architectures, Special Purpose and Application-Based Systems