Počet záznamů: 1
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
- 1.Parízek, P., Plášil, F. Assume-Guarantee Verification of Software Components in SOFA 2 Framework. IET Software. 2010, 4(3), 210-221. ISSN 1751-8806. E-ISSN 1751-8814. Dostupné z: doi: 10.1049/iet-sen.2009.0016
Počet záznamů: 1