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 - Bernado, Marco; Corradini, Flavio, 1966- (Springer, 2004)
Keywords: konstrukce; reálný čas; syntéza regulátorů; řídicí systémy; sborníky