An edition of Formal Techniques for Safety-Critical Systems (2014)

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

by Cyrille Artho and Peter Csaba Ölveczky

0 Ratings
1 Want to read
0 Currently reading
0 Have read

Cyrille Artho, Peter Csaba Ölv ...

Not in Library

My Reading Lists:

Use this Work

Create a new list

0 Ratings
1 Want to read
0 Currently reading
0 Have read

Check nearby libraries

Buy this book

Last edited by ImportBot

October 5, 2021 | History

Edit

An edition of Formal Techniques for Safety-Critical Systems (2014)

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

by Cyrille Artho and Peter Csaba Ölveczky

0 Ratings
1 Want to read
0 Currently reading
0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date

2015

Publisher

Springer London, Limited

Language

English

Pages

257

Check nearby libraries

Buy this book

Edition	Availability
1 Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science) Feb 01, 2019, Springer paperback 303012987X 9783030129873	zzzz Not in Library Libraries near you: WorldCat
2 Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers Mar 23, 2017, Springer paperback 3319539450 9783319539454	zzzz Not in Library Libraries near you: WorldCat
3 Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers 2016, Springer International Publishing AG in English 3319295098 9783319295091	zzzz Not in Library Libraries near you: WorldCat
4 Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers 2016, Springer in English 3319295101 9783319295107	zzzz Not in Library Libraries near you: WorldCat
5 Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers 2015, Springer London, Limited in English 3319175815 9783319175812	aaaa Not in Library Libraries near you: WorldCat
6 Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers Apr 16, 2015, Springer paperback 3319175807 9783319175805	zzzz Not in Library Libraries near you: WorldCat
7 Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers 2014, Springer London, Limited in English 3319054163 9783319054162	zzzz Not in Library Libraries near you: WorldCat
8 Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science) Apr 06, 2014, Springer paperback 3319054155 9783319054155	zzzz Not in Library Libraries near you: WorldCat