Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 25 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 25 entries