| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 36,12 | 72,24 | BNFParser2: Online Verification Service
|
| 72,24 | 72,24 | IEEE-1516.2 compliant data encoding for CERTI
|
| 72,24 | 72,24 | FlightGear HLA Interface: Proof of Concept
|
| 72,24 | 72,24 | PyHLA 0.1: Python Bindings for HLA 1.3
|
| 24,08 | 72,24 | Sequence Chart Studio 0.1: Basic Verification Algorithms
|
| 36,12 | 72,24 | BNFParser2: Universal Syntax Verification Utility
|
Back
(c) Michal Bulant, 2011