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

著者

• Cassez, Franck
• FORMATS
• Jard, Claude

書誌事項

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

タイトル別名

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

注記

Includes bibliographical reference and index

詳細情報

• NII書誌ID(NCID): BB1282148X
• ISBN:
  • 9783540857778
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: xi, 294 p.
• 大きさ: 24 cm
• 分類:
  • SG : 004.33
  • SG : 004
• 件名:
  • 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>
• 親書誌ID:
  • BA00009279