Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33...

Full description

Bibliographic Details

Other Authors:	Langmaack, Hans (Editor), Roever, Willem-Paul de (Editor), Vytopil, Jan (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 1994, 1994
Edition:	1st ed. 1994
Series:	Lecture Notes in Computer Science
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Computer Science Memory Management (computer Science) Computer Memory Structure Processor Architectures Microprocessors Computer Storage Devices Theory Of Computation Special Purpose And Application-based Systems Computers, Special Purpose Computer Architecture
Online Access:	https://doi.org/10.1007/3-540-58468-4?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa