Formal methods for industrial critical systems : 16th international workshop : proceedings, FMICS, Trento, Italy, Aug. 29-30, 2011 (e-book)
Formal methods for industrial critical systems : 16th international workshop : proceedings, FMICS, Trento, Italy, Aug. 29-30, 2011 (e-book)
-
- Berlin Springer 2011
-
- Lecture notes in computer science ; v.6959 .
978-3-642-24431-5
Computer Science and Engineering
Formal methods(Computer science)-Congresses , Software engineering-Congresses , Computer programs-Verification-Congresses , Computer programs-Reliability-Congresses , Computer software-Verification-Congresses
978-3-642-24431-5
Computer Science and Engineering
Formal methods(Computer science)-Congresses , Software engineering-Congresses , Computer programs-Verification-Congresses , Computer programs-Reliability-Congresses , Computer software-Verification-Congresses