Liknande böcker

Formal Modeling and Analysis of Timed Systems : 15th International Confe...
Bok av Alessandro Abate
Formal Aspects of Component Software : 14th International Conference, FA...
Formal Methods: Foundations and Applications : 19th Brazilian Symposium,...
Bok av Leila Ribeiro
Runtime Verification : 6th International Conference, RV 2015, Vienna, Au...
Bok av Ezio Bartocci
Computer Aided Verification : 29th International Conference, CAV 2017, H...
Bok av Rupak Majumdar
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler
Tools and Algorithms for the Construction and Analysis of Systems : 23rd...
Bok av Axel Legay
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 Int...
Bok av Phillip James

Model Checking Software

Bok av Maria Del Mar Gallardo