Počet záznamů: 1
Making Components Fit: SPINing
SYS 0334272 LBL 00970^^^^^2200229^^^450 005 20240103192559.9 014 $a 000288692300007 $2 WOS 017 7-
$a 10.1109/SEW.2008.10 $2 DOI 100 $a 20091222d m y slo 03 ba 101 0-
$a eng 102 $a US 200 1-
$a Making Components Fit: SPINing 215 $a 10 s. 463 -1
$1 001 cav_un_epca*0334271 $1 010 $a 978-0-7695-3617-0 $1 200 1 $a Proceedings of 32th IEEE/NASA Software Engineering Workshop $v S. 65-74 $1 210 $c IEEE Computer Society $a Los Alamitos $d 2009 541 1-
$a Komponenty ve formě: SPINing $z cze 610 0-
$a software components 610 0-
$a behavior specification 610 0-
$a model-checking 700 -1
$3 cav_un_auth*0214387 $a Kofroň $b Jan $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0056004 $a Poch $b T. $y CZ $4 070 701 -1
$3 cav_un_auth*0074744 $a Šerý $b O. $y CZ $4 070
Počet záznamů: 1