Search results
- 1.0382767 - ÚI 2013 CZ eng V - Research Report
Š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.
R&D Projects: GA AV ČR GAP103/11/1489
Grant - others:GA UK SVV-2012-265312
Institutional support: RVO:67985807
Keywords : specification * use-cases * behavior modeling * verification * temporal logic * formalization
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0212892