This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
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.
| ISBN: | 9783540650034 |
| Publication date: | 2nd September 1998 |
| Author: | FTRTFT98 Conference, Anders P Ravn, Hans Rischel |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 338 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Expert systems / knowledge-based systems Mathematical theory of computation Systems analysis and design Computer architecture and logic design |
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
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.
Formal Techniques in Real-Time and Fault-Tolerant Systems features in the following genres: Compilers and interpreters, Expert systems / knowledge-based systems, Mathematical theory of computation, Systems analysis and design, Computer architecture and logic design
Formal Techniques in Real-Time and Fault-Tolerant Systems is available in Paperback
Formal Techniques in Real-Time and Fault-Tolerant Systems was written by FTRTFT98 Conference, Anders P Ravn, Hans Rischel and published by Springer an imprint of Springer Berlin Heidelberg
Formal Techniques in Real-Time and Fault-Tolerant Systems has 338 pages
Yes it is part of Lecture Notes in Computer Science series