Difference between revisions of "Code Generation Tutorial"
From Event-B
Jump to navigationJump to searchimported>Andy (New page: * A tutorial ** Step 1 - Create the tasking development. ** Step 2 - Add annotations. ** Step 3 - Invoke translators.) |
(No difference)
|
Revision as of 10:15, 1 December 2010
- A tutorial
- Step 1 - Create the tasking development.
- Step 2 - Add annotations.
- Step 3 - Invoke translators.