Pasadena, California - PDFSEARCH.IO - Document Search Engine

Pasadena, California
Results: 2230

#	Item
1	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 FO Finite model theory Model theory Metaphilosophy Mathematical logic Mathematics Sigma-algebra Pattern language
2	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 Software testing Software engineering Computing Quality Fault injection Software verification Reliability engineering Formal verification Flash memory Software quality Stress testing Exception handling
3	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 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
4	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
5	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
6	Caltech Catalog California Institute of Technology Pasadena, California 91125 Add to Reading List Source URL: catalog.caltech.edu Language: English
7	2009–10 Caltech Catalog California Institute of Technology Pasadena, California 91125 Add to Reading List Source URL: catalog.caltech.edu Language: English
8	Caltech Catalog California Institute of Technology Pasadena, California 91125 Add to Reading List Source URL: catalog.caltech.edu Language: English
9	2009–10 Caltech Catalog California Institute of Technology Pasadena, California 91125 Add to Reading List Source URL: catalog.caltech.edu Language: English
10	1 Pricing in the Presence of Peering Eui-woong Lee, David Buchfuhrer, Lachlan L. H. Andrew, Ao Tang, Steven H. Low Department of Computer Science, California Institute of Technology, Pasadena, CA 91125, USA Add to Reading List Source URL: netlab.caltech.edu Language: English - Date: 2008-02-03 16:54:23