SimpleTrafficLightRTMaudeCG
This model illustrates a simple use of the Real Time Maude Code Generator.
SimpleTrafficLightRTMaudeCG is available in two formats:
An
HTML Version
- browsable only, not executable.
See
Web Start Help
for details.