Original title: Formal Verification of Annotated Use-Cases
Authors: Šimko, V. ; Hnětynka, P. ; Bureš, Tomáš ; Plášil, František
Document type: Research reports
Year: 2012
Language: eng
Series: Technical report, volume: 2012/2
Keywords: behavior modeling; formalization; specification ; temporal logic ; use-cases; verification
Project no.: GAP103/11/1489 (CEP), SVV-2012-265312
Funding provider: GA AV ČR, GA UK

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0212892

Permalink: http://www.nusl.cz/ntk/nusl-126883


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Reports > Research reports