Počet záznamů: 1
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
- 1.0334355 - ÚI 2011 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR 1ET400300504
Grant ostatní: GA MŠk(CZ) 7E08004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: components * software verification * model checking
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 0.671, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0179113
Počet záznamů: 1