JPL - PDFSEARCH.IO - Document Search Engine

JPL
Results: 7856

#	Item
1	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 Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Model checkers Software engineering Theoretical computer science Formal methods C C++ Sizeof Model checking Promela Abstraction Computing Abstract interpretation
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 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Models of computation UML state machine State diagram HSM Scala
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 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:32:09 Formal methods Theoretical computer science Software engineering Computing Logic in computer science Software testing Model checking Formal verification Software verification Flash memory Verification Software quality
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 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Computer programming Inter-process communication UML state machine Message queue Message passing Event loop Futures and promises Monitor Scala High-Speed SECS Message Services
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 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:33:49 Computing Software quality Engineering Reliability engineering Software engineering Design for X Materials science Survival analysis Fault tolerance Redundancy Software design Modular programming
6	PDF Document Add to Reading List Source URL: voyager.jpl.nasa.gov - Date: 2017-08-31 21:03:33
7	PDF Document Add to Reading List Source URL: voyager.jpl.nasa.gov - Date: 2017-08-31 21:03:33
8	PDF Document Add to Reading List Source URL: voyager.jpl.nasa.gov - Date: 2018-01-31 16:43:44
9	PDF Document Add to Reading List Source URL: voyager.jpl.nasa.gov - Date: 2017-08-31 21:03:33