Liknande böcker

Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Tools and Algorithms for the Construction and Analysis of Systems : 23rd...
Bok av Axel Legay
Verification, Model Checking, and Abstract Interpretation : 19th Interna...
Bok av Isil Dillig
Verification, Model Checking, and Abstract Interpretation : 18th Interna...
Bok av Ahmed Bouajjani
Verification, Model Checking, and Abstract Interpretation
Bok
Computer Aided Verification : 28th International Conference, CAV 2016, T...
Bok av Anthony W. Lin
Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz
Dependable Software Engineering: Theories, Tools, and Applications : Fir...
Bok av Franz Weitl

Verification, Model Checking, and Abstract Interpretation

Bok av Anthony W. Lin