Spara
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.
The 6 revised full papers presented were carefully reviewed and selected from 17 submissions.
The 6 revised full papers presented were carefully reviewed and selected from 17 submissions.
- Undertitel
- 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
- Redaktör
- Osman Hasan, Frédéric Mallet
- Upplaga
- 2020 ed.
- ISBN
- 9783030469016
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2020-04-26
- Sidor
- 141
