Název: Formal Verification of Annotated Use-Cases
Autoři: Šimko, V. ; Hnětynka, P. ; Bureš, Tomáš ; Plášil, František
Typ dokumentu: Výzkumné zprávy
Rok: 2012
Jazyk: eng
Edice: Technical report, svazek: 2012/2
Klíčová slova: behavior modeling; formalization; specification ; temporal logic ; use-cases; verification
Číslo projektu: GAP103/11/1489 (CEP), SVV-2012-265312
Poskytovatel projektu: GA AV ČR, GA UK

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0212892

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-126883


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Zprávy > Výzkumné zprávy