Media type: Book; Conference Proceedings Title: Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25 - 27, 2006; proceedings Contributor: Asarin, Eugene [Hrsg.]; Bouyer, Patricia [Other] Event: FORMATS imprint: Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4202 Extent: XI, 307 S.; graph. Darst Language: English ISBN: 3540450262; 9783540450269 Publisher, production or purchase order numbers: Sonstige Nummer: 11867340 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Zeitdiskretes System > Formale Methode Zeitbehafteter Automat > Formale Methode Hybrides System > Echtzeitsystem > Formale Methode Hartes Echtzeitsystem > Model Checking > Temporale Logik > Formale Methode Zeitbewertetes Petri-Netz > Formale Methode Zeitdiskretes System > Formale Methode Zeitbehafteter Automat > Formale Methode Hybrides System > Echtzeitsystem > Formale Methode Hartes Echtzeitsystem > Model Checking > Temporale Logik > Formale Methode Zeitbewertetes Petri-Netz > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7754 Item ID: 31571859 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order