02068nam0 22003373i 450 RMS117328320240906063321.0354023068820120528d2004 ||||0itac50 baengdez01i xxxe z01nFormal 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.]Springer2004VI, 293 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis3185001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis3185Elaborazione dei datiCongressi2004FIRNAPC262003I004ELABORAZIONE DEI DATI - SCIENZA DEGLI ELABORATORI - INFORMATICA14004.33Modi di elaborazione. Elaborazione in tempo reale22Corradini, FlavioRMGV010181Bernardo, MarcoURBV218860International School on Formal Methods for the Design of Computer, Communication and Software Systems <4. ; 2004 ; Bertinoro>RMSV492388070714737ITIT-NA007920120528IT-BN0095 RMS1173283Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000093435 N A4(3185 v. 31853 2012052520120528 01Formal methods for the design of real-time systems1382088UNISANNIO