Počet záznamů: 1  

Assume-Guarantee Verification of Software Components in SOFA 2 Framework

    1.
    Parízek, P. - Plášil, František
    Assume-Guarantee Verification of Software Components in SOFA 2 Framework.
    IET Software. Roč. 4, č. 3 (2010), s. 210-221. ISSN 1751-8806. E-ISSN 1751-8814
    Impakt faktor: 0.671, rok: 2010
    http://hdl.handle.net/11104/0179113
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše