Formal methods for the design of real-time systems
Subtitle: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004 : revised lectures
By: editors, Marco Bernardo, Flavio Corradini.
Contributors: Bernardo, Marco.; Corradini, Flavio.; LINK (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2004 : Bertinora, Italy)
Series: Lecture notes in computer science -- 3185.
Publisher: Springer
Published: 2004
Place of publication: Berlin
Language: eng
Format: Electronic resource
Subjects: Real-time control -- Congresses; Real-time programming -- Congresses; Real-time data processing -- Congresses; Computer systems -- Congresses; Telecommunication systems -- Congresses; Computer software -- Congresses
Genres: Congresses.
Notes: Title from title screen (viewed Dec. 10, 2004).

Electronic book available via SpringerLink.

Print version originally published in 2004.

Access restricted to subscribing institutions.

Print version also available.

Mode of access: World Wide Web.

System requirements: Adobe Acrobat reader required to view PDF document.