Liknande böcker

Formal Methods for Components and Objects (vol. # 4111) : 4th Internatio...
Bok av Frank S. de Boer
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Automated Technology for Verification and Analysis : 11th International...
Bok av Dang. Hung
Architectures for Adaptive Software Systems : 5th International Conferen...
Bok av Raffaela. Mirandola
Testing Software and Systems : 22nd IFIP WG 6.1 International Conference...
Bok av Alexandre. Petrenko
Software Engineering and Formal Methods : 9th International Conference,...
Bok av Gilles. Barthe
Formal Aspects of Component Software : 11th International Symposium, FAC...
Bok av Ivan. Lanese
Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz

NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

Bok av Julia M. Badger