Search results

  1. 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
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.