WorldWideScience - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-03-28 18:05:08 Internet search engines Science.gov Bibliographic databases Office of Scientific and Technical Information WorldWideScience Federated search Scitopia USA.gov SPIN bibliographic database Information science World Wide Web Science		Add to Reading List Source URL: deepwebtech.com Download Document from Source Website File Size: 689,31 KB Share Document on Facebook

	Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov DocID: 1xVoG - View Document
	September 12, 2018 Japan Tobacco International, USA, Inc. Glenpointe Centre West 500 Frank W. Burr Blvd. #24 Teaneck, NJDear Mr. Jerry Loftin: DocID: 1xVgy - View Document
	New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov DocID: 1xV34 - View Document
	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov DocID: 1xUHd - View Document
	AIAAAIAA SciTech 4-8 January 2016, San Diego, California, USA 54th AIAA Aerospace Sciences Meeting Development of the High Lift Common Research Model DocID: 1vojE - View Document