2016

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

ATVA (Symposium) (14th : 2016 : Chiba, Japan)

Cham, Switzerland : Springer, 2016

 

2017

Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers

FTSCS (Workshop) (5th : 2016 : Tokyo, Japan)

Cham, Switzerland : Springer, 2017

 

2019

Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers

FTSCS (Workshop) (6th : 2018 : Gold Coast, Qld.)

Cham, Switzerland : Springer, 2019

 

2016

Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers

FTSCS (Workshop) (4th : 2015 : Paris, France)

Cham : Springer, 2016

 

2014

Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised selected papers

FTSCS (Workshop) (2nd : 2013 : Queenstown, N.Z.)

Cham : Springer, 2014

 

2015

Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers

International Workshop of Formal Techniques for Safety-Critical Systems (3rd : 2014 : Luxembourg, Luxembourg)

Cham : Springer, 2015