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 - O. palustris - Document - PDFSEARCH.IO

First Page		Document Content
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		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 Download Document from Source Website File Size: 280,97 KB Share Document on Facebook

	NASA’s 2009 Mars Science Laboratory MSL Project Jet Propulsion Laboratory California Institute of Technology DocID: 1qYzb - View Document
	Rovers on the Red Planet Vocabulary: air pressure evaporate atmosphere abrasion DocID: 1qPel - View Document
	Mars 2020 Science Definition Team Report Frequently Asked Questions Q: What is the purpose of the Mars 2020 mission? A: NASA appointed a Mars 2020 Science Definition Team in January 2013 to propose objectives and capabil DocID: 1qP3s - View Document
	Annual Planetary Geologic Mappers Meetingpdf THE FIRST FIELD GEOLOGIC MAPS ON ANOTHER PLANET. L. S. Crumpler, New Mexico Museum of Natural History & Science, 1801 Mountain Rd NW Albuquerque, NM, 87104, USA, DocID: 1qsIg - View Document
	Vol 438\|22/29 DecemberNEWS & VIEWS MARS The flow and ebb of water DocID: 1q1eK - View Document