Back to Results
First PageMeta Content
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

Document Date: 2010-09-11 18:31:15


Open Document

File Size: 280,97 KB

Share Result on Facebook