Tallenna
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.
- Alaotsikko
- 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
- Toimittaja
- Osman Hasan, Frédéric Mallet
- Painos
- 2020 ed.
- ISBN
- 9783030469016
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 26.4.2020
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 141
