Počet záznamů: 1
Checking Session-Oriented Interactions between Web Services
SYS 0317131 LBL 01108^^^^^2200265^^^450 005 20240103190914.2 014 $a 000262984400001 $2 WOS 017 7-
$a 10.1109/SEAA.2008.11 $2 DOI 100 $a 20081213d m y slo 03 ba 101 0-
$a eng 102 $a US 200 1-
$a Checking Session-Oriented Interactions between Web Services 215 $a 8 s. 463 -1
$1 001 cav_un_epca*0317130 $1 010 $a 978-0-7695-3276-9 $1 200 1 $a 34th Euromicro Conference Software Engineering and Advanced Applications $v S. 3-10 $1 210 $a Los Alamitos $c IEEE Computer Society $d 2008 541 1-
$a Ověřování relačně-omezené komunikace mezi webovými službami $z cze 610 0-
$a web services 610 0-
$a BPEL 610 0-
$a session-oriented interactions 610 0-
$a behavior protocols 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*0107893 $a Adámek $b Jiří $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1