Search results
- 1.0369562 - ÚI 2014 GB eng J - Journal Article
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
R&D Projects: GA ČR GCP202/10/J042
Keywords : behavior modeling * verification * model checking * refinement * composition
Impact factor: 0.609, year: 2013
Permanent Link: http://hdl.handle.net/11104/0203594