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

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

By Cyrille Artho,Peter Csaba Ölveczky

0 (0 Ratings)

1 Want to read0 Currently reading0 Have read

Publish Date

2014

Publisher

Springer London, Limited

Language

eng

Pages

268

Description:

subjects: System failures (engineering), Systems engineering, Formal languages, Software engineering, Computer science, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices