Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Häftad, Engelska, 2019
Av Étienne André, Mariëlle Stoelinga, Etienne Andre, Marielle Stoelinga
739 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
Produktinformation
- Utgivningsdatum2019-08-13
- Mått155 x 235 x 18 mm
- Vikt487 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor301
- FörlagSpringer Nature Switzerland AG
- ISBN9783030296612