Formal methods for the design of real-time systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures

Verfasser / Beitragende:
Marco Bernardo ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2004
Beschreibung:
293 p. : ill.
Format:
Buch (Kongress)
ID: 491331592