Formal techniques for safety-critical systems: 7th international workshop, ftscs 2019, shenzhen, china, november 9, 2019, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030469016
Date de publication :
26 avr. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.