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 - Jet Propulsion Laboratory - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-01-10 13:23:58 Computing Software engineering Models of computation UML state machine State diagram HSM Scala		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 Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 455,04 KB Share Document on Facebook