01500nam--2200397---450-99000296174020331620070807183901.03-540-23068-8000296174USA01000296174(ALEPH)000296174USA0100029617420070807d2004----km-y0itay0103----baengDEa|||||||001yyFormal methods for the design of real-time systemsinternational school on formal methods for the design of computer, communication and software systems, SFM-RT 2004Bertinoro, Italy, September 13-18, 2004revised lecturesMarco Bernardo, Flavio Corradini (Eds.)Berlin [etc.]Springercopyr. 2004VI, 293 p.ill.24 cm.Lecture notes in computer science3185Tutoral2001Lecture notes in computer science3185Tutoral2001001-------2001InformaticaCongressiBertinoro2004005.1BERNARDO,MarcoCORRADINI,FlavioInternational school on formal methods dor the design of computer<2004 ;Bertinoro>597787ITsalbcISBD990002961740203316001 LNCS 318531242/CBS001 LNCS00215325BKSCISENATORE9020070807USA011839Formal methods for the design of real-time systems1026842UNISA