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 / edited by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil.

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

Corporate Author:	SpringerLink (Online service)
Other Authors:	Langmaack, Hans (Editor), Roever, Willem-Paul de (Editor), Vytopil, Jan (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994.
Edition:	1st ed. 1994.
Series:	Lecture Notes in Computer Science, 863 Springer eBook Collection.
Subjects:	Computers. Programming languages (Electronic computers). Computer logic. Microprocessors. Special purpose computers. Computer memory systems. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.