Konferenzschrift | Kongress

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

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642152962
Dimensions
24 cm
Extent
X, 255 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; 6246

Keyword
Zeitdiskretes System
Formale Methode
Zeitbehafteter Automat
Formale Methode
Zeitbewertetes Petri-Netz
Formale Methode

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, NY
(who)
Springer
(when)
2010
Contributor
Chatterjee, Krishnendu
FORMATS (8 : 2010 : Klosterneuburg)

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:38 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Konferenzschrift
  • Kongress

Associated

Time of origin

  • 2010

Other Objects (12)

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

User modeling : 8th international conference ; proceedings

Konferenzschrift | Kongress

User modeling : 8th international conference ; proceedings

Integrated formal methods : 8th international conference ; proceedings

Konferenzschrift | Kongress

Integrated formal methods : 8th international conference ; proceedings

Formal concept analysis : 8th International Conference ; proceedings

Konferenzschrift | Kongress

Formal concept analysis : 8th International Conference ; proceedings

Modeling decisions for artificial intelligence : 8th international conference ; proceedings

Konferenzschrift | Kongress

Modeling decisions for artificial intelligence : 8th international conference ; proceedings

Related objects