Výsledky vyhledávání
- 1.0369562 - ÚI 2014 GB eng J - Článek v odborném periodiku
Poch, T. - Šerý, O. - Plášil, František - Kofroň, J.
Threaded behavior protocols.
Formal Aspects of Computing: applicable formal methods. Roč. 25, č. 4 (2013), s. 543-572. ISSN 0934-5043. E-ISSN 1433-299X
Grant CEP: GA ČR GCP202/10/J042
Klíčová slova: behavior modeling * verification * model checking * refinement * composition
Impakt faktor: 0.609, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0203594