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 /

A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform, but also on the action execution time. Due t...

Full description

Bibliographic Details

Corporate Author:	International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
Other Authors:	Bernardo, Marco, Corradini, Flavio
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2004], ©2004 Berlin ; New York : c2004 Berlin ; New York : ©2004 Berlin ; New York : [2004]
Series:	Lecture notes in computer science, 3185 Lecture notes in computer science ; 3185 Lecture notes in computer science Tutorial Lecture notes in computer science Tutorial. Lecture notes in computer science 3185 Lecture notes in computer science 3185 Lecture notes in computer science 3185
Subjects:	Communication systems > Congresses Computer networks Computer science Computer software > Congresses Computer systems > Congresses Formal methods (Computer science) > Congresses Logic design Real-time control > Congresses Real-time data processing > Congresses Real-time programming > Congresses Software engineering Software > Congresses Telecommunication systems > Congresses Computer software Computer systems Formal methods (Computer science) Real-time control Real-time data processing Real-time programming Telecommunication systems Conference papers and proceedings Kongress