Konferenzschrift | Kongress
Formal modeling and analysis of timed systems : 11th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642402289
3642402283
- Dimensions
-
24 cm, 444 g
- Extent
-
X, 273 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8053
- Keyword
-
Zeitbehafteter Automat
Verifikation
Spezifikation
Formale Methode
Hybrides System
Zeitdiskretes System
Echtzeitsystem
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2013
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:42 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Braberman, Victor
- Fribourg, Laurent
- FORMATS (11 : 2013 : Buenos Aires)
- Springer
Time of origin
- 2013
Other Objects (12)
Formal concept analysis : 11th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Formal modeling and analysis of timed systems : 9th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Formal modeling and analysis of timed systems : 10th international conference ; proceedings
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Information security : 11th international conference ; proceedings
Compiler construction : 11th international conference ; proceedings
Formal concept analysis : 11th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Formal modeling and analysis of timed systems : 9th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Formal modeling and analysis of timed systems : 10th international conference ; proceedings
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Information security : 11th international conference ; proceedings
Compiler construction : 11th international conference ; proceedings
Formal concept analysis : 11th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Formal modeling and analysis of timed systems : 9th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Formal modeling and analysis of timed systems : 10th international conference ; proceedings
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Information security : 11th international conference ; proceedings