Code Generation Tutorial
From Event-B
Revision as of 10:15, 1 December 2010 by imported>Andy (New page: * A tutorial ** Step 1 - Create the tasking development. ** Step 2 - Add annotations. ** Step 3 - Invoke translators.)
- A tutorial
- Step 1 - Create the tasking development.
- Step 2 - Add annotations.
- Step 3 - Invoke translators.