Počet záznamů: 1
TBP: Code-Oriented Component Behavior Specification
SYS 0334276 LBL 00970^^^^^2200229^^^450 005 20240103192600.3 014 $a 000288692300008 $2 WOS 017 7-
$a 10.1109/SEW.2008.14 $2 DOI 100 $a 20091222d m y slo 03 ba 101 0-
$a eng 102 $a US 200 1-
$a TBP: Code-Oriented Component Behavior Specification 215 $a 9 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. 75-83 $1 210 $c IEEE Computer Society $a Los Alamitos $d 2009 541 1-
$a TBP: Na kód orientovaný formalismus pro specifikaci chování komponent $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