8 results · clear filters Sort: newest oldest name

1. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
   series, 9 events, 2012 to 2023
   Computer and information sciences
   s109qna
2. Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
   2019 · Shenzhen, People's Republic of China
   Computer and information sciences
   e1141xs
3. Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (FTSCS)
   2018-11-16 · Gold Coast, Australia
   Computer and information sciences
   e1141wv
4. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
   2016-11-14 · Tokyo, Japan
   Computer and information sciences
   e103jkz
5. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
   2015-11-06/07 · Paris, France
   Computer and information sciences
   e103jj1
6. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
   2014-11-06/07 · Luxembourg, Luxembourg
   Computer and information sciences
   e103jh3
7. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
   2013-10-29/30 · Queenstown, New Zealand
   Computer and information sciences
   e103jg5
8. Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. (FTSCS)
   2012-11-12 · Kyoto, Japan
   Computer and information sciences
   e120s03

As JSON: https://labs.confref.org/api/search?series=s109qna&from=2010&to=2019