Počet záznamů: 1
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
SYS 0334355 LBL 02771^^^^^2200265^^^450 005 20240103192604.2 014 $a 000279258600004 $2 WOS 014 $a 77955204637 $2 SCOPUS 017 7-
$a 10.1049/iet-sen.2009.0016 $2 DOI 100 $a 20091228d m y slo 03 ba 101 0-
$a eng 102 $a GB 200 1-
$a Assume-Guarantee Verification of Software Components in SOFA 2 Framework 215 $a 12 s. 463 -1
$1 001 cav_un_epca*0327674 $1 011 $a 1751-8806 $e 1751-8814 $1 200 1 $a IET Software $v Roč. 4, č. 3 (2010), s. 210-221 541 1-
$a Verifikace softwarových komponent ve frameworku SOFA 2 způsobem assume-guarantee $z cze 610 0-
$a components 610 0-
$a software verification 610 0-
$a model checking 700 -1
$3 cav_un_auth*0241132 $a Parízek $b P. $y CZ $4 070 701 -1
$3 cav_un_auth*0100808 $a Plášil $b František $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1