1![Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive](https://www.pdfsearch.io/img/579d82bea5f93ad180523ea554b736ce.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
2![Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov](https://www.pdfsearch.io/img/4689d7655a3ce86da17164bce49bdac8.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2018-01-10 13:23:58
|
---|
3![New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov](https://www.pdfsearch.io/img/4c4359ee1e7eee6249ea7a3fc80e5ec9.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:32:09
|
---|
4![Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov](https://www.pdfsearch.io/img/3bc79929845863da2741797d87ebd266.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2018-01-10 13:23:58
|
---|
5![Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA](https://www.pdfsearch.io/img/dca7c21a5f293b2e46bbc87169a23431.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:33:49
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: voyager.jpl.nasa.gov- Date: 2017-08-31 21:03:33
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: voyager.jpl.nasa.gov- Date: 2017-08-31 21:03:33
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: voyager.jpl.nasa.gov- Date: 2018-01-31 16:43:44
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: voyager.jpl.nasa.gov- Date: 2017-08-31 21:03:33
|
---|