Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive
Add to Reading List
Document Date: 2010-09-11 18:26:03
Open Document
File Size: 119,39 KB
Share Result on Facebook
UPDATE
Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive