Back to Results
First PageMeta Content
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

Document Date: 2018-01-10 13:23:58


Open Document

File Size: 455,04 KB

Share Result on Facebook