Formal modeling and analysis of timed systems 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings - Legay, Axel (Springer, 2014)
Keywords: Echtzeitsystem; Formale Methode; Zeitbehafteter Automat; Zeitdiskretes System; Hybrides System; Verifikation; Spezifikation; Konferenzschrift -- 2014 -- Florenz