Košík

0446568 - ÚI 2016 RIV GB eng J - Článek v odborném periodiku
Šimko, V. - Hauzar, D. - Hnětynka, P. - Bureš, Tomáš - Plášil, F.
Formal Verification of Annotated Textual Use-Cases.
Computer Journal. Roč. 58, č. 7 (2015), s. 1495-1529. ISSN 0010-4620. E-ISSN 1460-2067
Grant ostatní: GA AV ČR(CZ) GAP103/11/1489
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
Impakt faktor: 1.000, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0248549