Home > Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Book Informaton
Author
Cyrille Artho; Peter Csaba Ölveczky
Series
Communications in Computer and Information Science
Volume
596
Year of Publication
1st ed. 2016
Publisher
Springer International Publishing
Pages
X, 271
Language
EN
ISBN
9783319295091, 9783319295107
ARI Id
1664831304136
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 25 entries
Chapters/Headings | Author(s) | Pages | Info |
I-X | |||
1-1 | |||
3-34 | |||
35-35 | |||
37-51 | |||
52-68 | |||
69-84 | |||
85-85 | |||
87-102 | |||
103-120 | |||
121-136 | |||
137-137 | |||
139-154 | |||
155-171 | |||
172-186 | |||
187-187 | |||
189-205 | |||
206-221 | |||
223-223 | |||
225-240 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 25 entries