Introduction to the formal design of real-time systems /

The design of concurrent and real-time systems is difficult. It is even more difficult to design them correctly. Introduction to the Formal Design of Real Time Systems is based on the premise that in order to design things correctly it is necessary to thoroughly understand the design as it evolves f...

Full description

Bibliographic Details

Main Author:	Gray, David, 1946-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1999]
Series:	Applied computing.
Subjects:	Real-time data processing. System design. Temps réel. Systemes, Conception de. Echtzeitverarbeitung. Systementwurf. Echtzeitsystem. Prozessalgebra. Electronic books. Aufgabensammlung. Einführung.
Online Access:	Connect to the full text of this electronic book