Výsledky vyhledávání
- 1.0382767 - ÚI 2013 CZ eng V - Výzkumná zpráva
Šimko, V. - Hnětynka, P. - Bureš, Tomáš - Plášil, František
Formal Verification of Annotated Use-Cases.
Prague: Department of Distributed and Dependable Systems, Charles University, 2012. 17 s. Technical report, 2012/2.
Grant CEP: GA AV ČR GAP103/11/1489
Grant ostatní: GA UK SVV-2012-265312
Institucionální podpora: RVO:67985807
Klíčová slova: specification * use-cases * behavior modeling * verification * temporal logic * formalization
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0212892