Formal modeling and analysis of timed systems : 19th international conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings

Author(s)

• FORMATS
• Dima, Catalin
• Shirmohammadi, Mahsa

Bibliographic Information

Formal modeling and analysis of timed systems : 19th international conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings

Catalin Dima, Mahsa Shirmohammadi (eds.)

（Lecture notes in computer science, 12860 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）

Springer, c2021

Note

Includes bibliographical references and author index

"This volume contains the papers presented at the 19th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2021), held virtually, and hosted by the Laboratoire d'Algorithmique, Complexité et Logique (LACL), Université Paris-Est Créteil, France, during August 24-26, 2021."--Pref

Details

• NCID: BC15611607
• ISBN:
  • 9783030850364
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: viii, 153 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.C65
• Subject Headings:
  • LCSH : Computer simulation -- Congresses
  • LCSH : Temporal automata -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses
  • LCSH : Machine theory -- Congresses
  • LCSH : System analysis -- Congresses
• Parent Bibliography ID:
  • BC04575556