Grove - PDFSEARCH.IO - Document Search Engine

Grove
Results: 7110

#	Item
1	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Model checkers Software engineering Theoretical computer science Formal methods C C++ Sizeof Model checking Promela Abstraction Computing Abstract interpretation
2	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
3	PDF Document Add to Reading List Source URL: www.grove.com - Date: 2016-08-27 13:51:28
4	PDF Document Add to Reading List Source URL: www.blackberry-grove.co.uk - Date: 2018-04-03 07:54:57
5	PDF Document Add to Reading List Source URL: www.grove.com - Date: 2016-08-27 13:51:28
6	PDF Document Add to Reading List Source URL: www.grove.com - Date: 2017-05-25 17:41:28
7	PDF Document Add to Reading List Source URL: www.grove.com - Date: 2016-08-27 13:51:27
8	PDF Document Add to Reading List Source URL: www.grove.com - Date: 2018-01-04 16:23:14
9	PDF Document Add to Reading List Source URL: www.grove.com - Date: 2016-08-27 13:51:27
10	SB diag 298 to Arnos Grove 11p ol Add to Reading List Source URL: www.sullivanbuses.co.uk Language: English - Date: 2018-05-28 11:40:41