Pasadena

Results: 3904



#Item
1Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:26:03
2Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:31:43
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
4Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C

Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:31:15
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
6PASADENA PLAYHOUSE DISTRICT | Ground Floor Retail Restaurant Space for Lease CROWN CITY MEDICAL PLAZA 550 E. COLORADO BOULEVARD PASADENA, CA  Crown City Medical Plaza

PASADENA PLAYHOUSE DISTRICT | Ground Floor Retail Restaurant Space for Lease CROWN CITY MEDICAL PLAZA 550 E. COLORADO BOULEVARD PASADENA, CA Crown City Medical Plaza

Add to Reading List

Source URL: www.playhousedistrict.org

Language: English - Date: 2016-01-23 17:12:47
    7California Institute of Technology BURSAR’S OFFICE Mail Code, Pasadena, CATel: (, Fax: (, Email:

    California Institute of Technology BURSAR’S OFFICE Mail Code, Pasadena, CATel: (, Fax: (, Email:

    Add to Reading List

    Source URL: www.bursar.caltech.edu

    Language: English
      8BY ORDER OF LOS ANGELES COUNTY PUBLIC ADMINISTRATOR & GUARDIAN 1464 SUNSET BOULEVARD, PASADENA CA AUCTION INFORMATION

      BY ORDER OF LOS ANGELES COUNTY PUBLIC ADMINISTRATOR & GUARDIAN 1464 SUNSET BOULEVARD, PASADENA CA AUCTION INFORMATION

      Add to Reading List

      Source URL: bidkw.com

      Language: English - Date: 2015-07-28 14:32:59
        9Caenorhabditis nomenclature* Mary Ann Tuli1,§, Aric Daul2, Tim Schedl3,§ 1 Biology Division, California Institute of Technology, Pasadena CA 91125, USA

        Caenorhabditis nomenclature* Mary Ann Tuli1,§, Aric Daul2, Tim Schedl3,§ 1 Biology Division, California Institute of Technology, Pasadena CA 91125, USA

        Add to Reading List

        Source URL: wormbook.org

        Language: English - Date: 2018-08-07 19:49:29
          10Caltech Catalog California Institute of Technology Pasadena, California 91125

          Caltech Catalog California Institute of Technology Pasadena, California 91125

          Add to Reading List

          Source URL: catalog.caltech.edu

          Language: English