Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Author(s)

• Cassez, Franck
• FORMATS
• Jard, Claude

Bibliographic Information

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Franck Cassez, Claude Jard (eds.)

（Lecture notes in computer science, 5215）

Springer, c2008

Other Title

6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Note

Includes bibliographical reference and index

Details

• NCID: BB1282148X
• ISBN:
  • 9783540857778
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: xi, 294 p.
• Size: 24 cm
• Classification:
  • SG : 004.33
  • SG : 004
• Subject Headings:
  • SWD : Zeitdiskretes System -- Formale Methode -- Kongress -- Saint Malo <2008>
  • SWD : Zeitbehafteter Automat -- Formale Methode -- Kongress -- Saint Malo <2008>
  • SWD : Hybrides System -- Echtzeitsystem -- Formale Methode -- Kongress -- Saint Malo <2008>
  • SWD : Model Checking -- Temporale Logik -- Formale Methode -- Kongress -- Saint Malo <2008>
  • SWD : Zeitbewertetes Petri-Netz -- Formale Methode -- Kongress -- Saint Malo <2008>
• Parent Bibliography ID:
  • BA00009279