Počet záznamů: 1
Specification and Generation of Environment for Model Checking of Software Components
SYS 0090204 LBL 00902^^^^^2200241^^^450 005 20240103184814.9 014 $a 34248636772 $2 SCOPUS 017 7-
$a 10.1016/j.entcs.2006.02.036 $2 DOI 100 $a 20071123d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a Specification and Generation of Environment for Model Checking of Software Components $f aut. P. Pařízek, František Plášil 215 $a 12 s. 463 -1
$1 001 cav_un_epca*0085624 $1 011 $a 1571-0661 $1 200 1 $a Electronic Notes in Theoretical Computer Science $v Roč. 176, - (2007), s. 143-154 $1 210 $c Elsevier 541 1-
$a Specifikace a generování prostředí pro model checking softwarových komponent $z cze 610 0-
$a software components 610 0-
$a behavior protocols 610 0-
$a model checking 610 0-
$a automated generation of environment 700 -1
$3 cav_un_auth*0095443 $a Paří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