An introduction to Esterel
Keywords: Esterel reactive system I/O events
[Summary of tips] An introduction to EsterelBecause of Esterel's textual nature (as opposed to graphical) and compositional facilities, it is relatively easy to write compact specifications for systems with very complex state machines. A system with thousands of states can generally be specified by an Esterel program of only a few hundred lines.......|
Already registered? Login to view complete content.
|
|
||||||||||||||
|
||||||||||||||
Strange modes of transport and other "stuff"
Someone just pointed me at a YouTube video that claims to show the world's first e-powered multicopter flight...















