First Page | Document Content | |
---|---|---|
Date: 2018-01-10 13:23:58Computing 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.govAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 455,04 KBShare Document on Facebook |