Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings

Author(s)

• FORMATS
• André, Etienne
• Stoelinga, Mariëlle

Bibliographic Information

Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings

Étienne André, Mariëlle Stoelinga (eds.)

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

Springer, c2019

Note

Includes bibliographical references and author index

Details

• NCID: BC15611108
• ISBN:
  • 9783030296612
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xvi, 300 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