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.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
  • A tutorial
    • Step 1 - Create the tasking development.
    • Step 2 - Add annotations.
    • Step 3 - Invoke translators.
Retrieved from ‘https://wiki.event-b.org/index.php?title=Code_Generation_Tutorial&oldid=1491’