Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ravn, Anders P. (Editor, http://id.loc.gov/vocabulary/relators/edt), Rischel, Hans (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1486
• Subjects: Programming languages (Electronic computers).; Architecture, Computer.; Computers.; Computer logic.; Microprocessors.; Special purpose computers.; Programming Languages, Compilers, Interpreters.; Computer System Implementation.; Theory of Computation.; Logics and Meanings of Programs.; Processor Architectures.; Special Purpose and Application-Based Systems.

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 b...