Basket

  1. 1.
    0334355 - ÚI 2011 RIV GB eng J - Journal Article
    Parízek, P. - Plášil, František
    Assume-Guarantee Verification of Software Components in SOFA 2 Framework.
    [Verifikace softwarových komponent ve frameworku SOFA 2 způsobem assume-guarantee.]
    IET Software. Roč. 4, č. 3 (2010), s. 210-221. ISSN 1751-8806. E-ISSN 1751-8814
    R&D Projects: GA AV ČR 1ET400300504
    Grant - others:GA MŠk(CZ) 7E08004
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : components * software verification * model checking
    Subject RIV: JC - Computer Hardware ; Software
    Impact factor: 0.671, year: 2010
    Permanent Link: http://hdl.handle.net/11104/0179113
     
     

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