LEADER 03868nam  22007215  450 
001 996465900703316
005 20200704183537.0
010   $a1-280-38921-4
010   $a9786613567130
010   $a3-642-15898-6
024 7 $a10.1007/978-3-642-15898-8
035   $a(CKB)2670000000045120
035   $a(SSID)ssj0000446473
035   $a(PQKBManifestationID)11271326
035   $a(PQKBTitleCode)TC0000446473
035   $a(PQKBWorkID)10496859
035   $a(PQKB)10124417
035   $a(DE-He213)978-3-642-15898-8
035   $a(MiAaPQ)EBC3065826
035   $a(PPN)149024789
035   $a(EXLCZ)992670000000045120
100   $a20100913d2010      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods for Industrial Critical Systems$b[electronic resource] $e15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /$fedited by Stefan Kowalewski, Marco Roveri
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (XII, 231 p. 82 illus.) 
225 1 $aProgramming and Software Engineering ;$v6371
300   $aInternational conference proceedings.
311   $a3-642-15897-8 
320   $aIncludes bibliographical references and author index.
327   $aThe Metrô Rio ATP Case Study -- Practical Issues with Formal Specifications -- Formal Analysis of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level Congruences -- An Automated Translator for Model Checking Time Constrained Workflow Systems -- Correctness of Sensor Network Applications by Software Bounded Model Checking -- Model Checking the FlexRay Physical Layer Protocol -- SMT-Based Formal Verification of a TTEthernet Synchronization Function -- Embedded Network Protocols for Mobile Devices -- A Study of Shared-Memory Mutual Exclusion Protocols Using CADP -- A Formal Model of Identity Mixer -- Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.
410  0$aProgramming and Software Engineering ;$v6371
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aSpecial purpose computers
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
607   $aAntwerpen <2010>$2swd
608   $aKongress.$2swd
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aSpecial purpose computers.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005.131
702   $aKowalewski$b Stefan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRoveri$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Workshop on Formal Methods for Industrial Critical Systems
906   $aBOOK
912   $a996465900703316
996   $aFormal Methods for Industrial Critical Systems$91921860
997   $aUNISA