NASA

Results: 52925



#Item
1IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
2Modeling 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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2018-01-10 13:23:58
3New 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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:32:09
4Modeling 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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2018-01-10 13:23:58
5Reliable 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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:33:49
6

PDF Document

Add to Reading List

Source URL: pubs.giss.nasa.gov

    7

    PDF Document

    Add to Reading List

    Source URL: gacp.giss.nasa.gov

    - Date: 2001-08-16 13:07:17
      8

      PDF Document

      Add to Reading List

      Source URL: develop.larc.nasa.gov

      - Date: 2018-08-23 12:00:54
        9

        PDF Document

        Add to Reading List

        Source URL: voyager.jpl.nasa.gov

        - Date: 2017-08-31 21:03:33
          10

          PDF Document

          Add to Reading List

          Source URL: voyager.jpl.nasa.gov

          - Date: 2017-08-31 21:03:33