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

• Corporate Author: International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Itálie)
• Other Authors: Bernado, Marco (Editor), Corradini, Flavio, 1966- (Editor)
• Format: Book
• Language: English
• Published: Berlin : Springer, c2004
• Series: Lecture notes in computer science
• Subjects: konstrukce; reálný čas; syntéza regulátorů; řídicí systémy; sborníky
• ISBN: 3540230688
• Physical Description: vi, 293 s. : il.