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