Back to Results
First PageMeta Content
Computing / Software engineering / Computer programming / Inter-process communication / UML state machine / Message queue / Message passing / Event loop / Futures and promises / Monitor / Scala / High-Speed SECS Message Services


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
Add to Reading List

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


Open Document

File Size: 633,54 KB

Share Result on Facebook
UPDATE