7th International Workshop on Formal Techniques for Safety-Critical Systems
Website : ttp://www.ftscs.org
Location : Shenzhen, China
Workshop date : November 9, 2019
Important dates :
Submission deadline: September 3, 2019
Notification of acceptance: October 4, 2019