Home > Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Book Informaton
Author
Cyrille Artho; Peter Csaba Ölveczky
Series
Communications in Computer and Information Science
Volume
419
Year of Publication
2014
Publisher
Springer International Publishing
Pages
X, 297
Language
EN
ISBN
9783319054155, 9783319054162
ARI Id
1664998347339
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 20 entries
Chapters/Headings | Author(s) | Pages | Info |
I-X | |||
1-2 | |||
3-18 | |||
19-35 | |||
36-53 | |||
54-70 | |||
71-87 | |||
88-106 | |||
107-124 | |||
125-141 | |||
142-159 | |||
160-177 | |||
178-194 | |||
195-211 | |||
212-228 | |||
229-245 | |||
246-261 | |||
262-279 | |||
280-296 | |||
297-297 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 20 entries