Formal Methods for Industrial Critical Systems
Kowalewski, Stefan
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings [electronic resource] edited by Stefan Kowalewski, Marco Roveri - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6371 0302-9743 .
9783642158988
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings [electronic resource] edited by Stefan Kowalewski, Marco Roveri - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6371 0302-9743 .
9783642158988
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems