Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Eugene Asarin and FORMATS (4, 2006, Paris)

Formal modeling and analysis of timed systems : 4th international conference ; proceedings

Berlin, Heidelberg, New York: Springer, 2006

Title

Formal modeling and analysis of timed systems : 4th international conference ; proceedings / FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ; Patricia Bouyer (ed.)

Involved 

Eugene Asarin (Herausgeber)
FORMATS (4, 2006, Paris) (Herausgebendes Organ)

Published

Berlin, Heidelberg, New York: Springer
2006

Extent

XI, 367 S. : Ill., graph. Darst.

ISBN

978-3-540-45026-9

Language

Englisch

Country

Deutschland

Topic

Informatik

Subject

Zeitdiskretes System, Formale Methode, Kongress, Paris <2006>
Zeitbehafteter Automat, Formale Methode, Kongress, Paris <2006>
Hybrides System, Echtzeitsystem, Formale Methode, Kongress, Paris <2006>
Hartes Echtzeitsystem, Model Checking, Temporale Logik, Formale Methode, Kongress, Paris <2006>
Zeitbewertetes Petri-Netz, Formale Methode, Kongress, Paris <2006>

DDC notation

004.33

Series

Lecture notes in computer science ; Vol. 4202

Other editions

Erscheint auch als Online-Ausgabe: Formal modeling and analysis of timed systems : 4th international conference ; proceedings

Further information

Literaturangaben

Record ID

980913101
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal