Wiki » History » Version 7
Alexander Kamkin, 02/27/2014 07:44 PM
| 1 | 4 | Alexander Kamkin | [[Ideas and Proof of Concept]] |
|---|---|---|---|
| 2 | |||
| 3 | 5 | Sergey Smolov | [[Intermediate Representation]] |
| 4 | 2 | Alexander Kamkin | [[GAA Meta-Model]] |
| 5 | 1 | Alexander Kamkin | [[CFG Extraction]] |
| 6 | 3 | Sergey Smolov | [[EFSM Building]] |
| 7 | 7 | Alexander Kamkin | [[EFSM Traversal]] |
| 8 | 6 | Alexander Kamkin | |
| 9 | [[Deadlock Analysis]] |