Formal Methods for Industrial Critical Systems [E-Book]: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger.
Pinger, Ralf.
Stoelinga, Mariëlle.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642324697
10.1007/978-3-642-32469-7
Lecture notes in computer science ; 7437
Full Text
Description not available.