LEADER 01090nam0-22004091i-450- 001 990005459350203316 005 20010829120000.0 035 $a000545935 035 $aUSA01000545935 035 $a(ALEPH)000545935USA01 035 $a000545935 100 $a20010829d1986-------|0itac50------ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aEgitto$fLuigi D'Angeli 205 $a5. rist. con aggiornamenti 210 $aMilano$cCLUP$d1986.. 215 $a349 p.$cill.$d17 cm 225 2$aclup Guide. - Milano 410 1$12001$aclup Guide. - Milano 606 $aEgitto$xGuide$2FI 620 $dMilano 676 $a916.2$v21 700 1$aD'ANGELI,$bLuigi$0408734 712 $aCLUP 801 $aIT$bSOL$c20120104 912 $a990005459350203316 950 $aDIP.TO SCIENZE ECONOMICHE - (SA)$dDS 900 916.2 DAN$e2833 DISES 951 $a900 916.2 DAN$b2833 DISES 959 $aBK 969 $aDISES 979 $c20121027$lUSA01$h1532 979 $c20121027$lUSA01$h1613 996 $aEgitto$9652470 997 $aUNISA NUM $aUSA5981 LEADER 03856nam 22006135 450 001 996465885303316 005 20200704034113.0 010 $a3-540-45510-8 024 7 $a10.1007/3-540-45510-8 035 $a(CKB)1000000000211422 035 $a(SSID)ssj0000324897 035 $a(PQKBManifestationID)11912703 035 $a(PQKBTitleCode)TC0000324897 035 $a(PQKBWorkID)10320159 035 $a(PQKB)11342565 035 $a(DE-He213)978-3-540-45510-3 035 $a(MiAaPQ)EBC3073006 035 $a(PPN)155175467 035 $a(EXLCZ)991000000000211422 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModeling and Verification of Parallel Processes$b[electronic resource] $e4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /$fedited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (X, 234 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2067 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42787-2 320 $aIncludes bibliographical references and index. 327 $aTutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification -- Composition and Abstraction -- UPPAAL - Now, Next, and Future -- HMSCs as Partial Specifications...with PNs as Completions -- Industrial Applications of Model Checking -- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area -- Annotated Bibliographies -- Verification of Systems with an Infinite State Space -- Testing Transition Systems: An Annotated Bibliography -- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography -- Mobile Processes: A Commented Bibliography. 330 $aDaily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2067 606 $aSoftware engineering 606 $aComputers 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 615 0$aSoftware engineering. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aTheory of Computation. 676 $a004/.358 702 $aCassez$b Franck$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJard$b Claude$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozoy$b Brigitte$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRyan$b Mark D$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aMOVEP 2000 906 $aBOOK 912 $a996465885303316 996 $aModeling and Verification of Parallel Processes$92262755 997 $aUNISA