Formal techniques in real-time and fault-tolerant systems

Bibliographische Detailangaben
Format:	Buch
Sprache:	English
Veröffentlicht:	Boston Kluwer Academic Publishers c1993.
Schlagworte:	Fault-tolerant computing. Real-time data processing.