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