Date: 2010-09-11 18:31:15Model 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, CAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 280,97 KBShare Document on Facebook
|