01208nam0 22003013i 450 RMS219422020240906063324.0978052188333720120517d2008 ||||0itac50 baenggbz01i xxxe z01nReal-time systemsformal specification and automatic verificationErnst-Rüdiger Olderog and Henning DierksCambridge [etc.]Cambridge Universityc2008XVI, 320 p.ill.26 cmElaborazione dei datiFIRNAPC001844I004ELABORAZIONE DEI DATI - SCIENZA DEGLI ELABORATORI - INFORMATICA14004.33Modi di elaborazione. Elaborazione in tempo reale22Olderog, Ernst-RudigerAQ1V006552070770277Dierks, HenningRMSV867397070771738ITIT-NA007920120517IT-BN0095 RMS2194220Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 004 OLD.re 0102 0000093375 N A4 1 v.3 2012051520120517 01Real-time systems1574965UNISANNIO