Date: 2018-01-10 13:23:58Computing 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.govAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 633,54 KBShare Document on Facebook
|