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

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries