Počet záznamů: 1  

Specification and Generation of Environment for Model Checking of Software Components

  1. SYS0090204
    LBL
      
    00902^^^^^2200241^^^450
    005
      
    20170504092306.5
    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 $o Department of Nonlinear Modelling $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1