03133nam 2200649Ia 450 991048430120332120200520144314.01-280-38921-497866135671303-642-15898-610.1007/978-3-642-15898-8(CKB)2670000000045120(SSID)ssj0000446473(PQKBManifestationID)11271326(PQKBTitleCode)TC0000446473(PQKBWorkID)10496859(PQKB)10124417(DE-He213)978-3-642-15898-8(MiAaPQ)EBC3065826(PPN)149024789(EXLCZ)99267000000004512020101101d2010 uy 0engurnn|008mamaatxtccrFormal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /Stefan Kowalewski, Marco Roveri (eds.)1st ed. 2010.Berlin Springer20101 online resource (XII, 231 p. 82 illus.) Lecture notes in computer science,0302-9743 ;6371LNCS sublibrary. SL 2, Programming and software engineeringInternational conference proceedings.3-642-15897-8 Includes bibliographical references and author index.The 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.Lecture notes in computer science ;6371.LNCS sublibrary.SL 2,Programming and software engineering.FMICS 2010Formal methods (Computer science)CongressesSoftware engineeringCongressesComputer programsVerificationCongressesFormal methods (Computer science)Software engineeringComputer programsVerification005.131Kowalewski S(Stefan)1760416Roveri Marco312190International Workshop on Formal Methods for Industrial Critical SystemsMiAaPQMiAaPQMiAaPQBOOK9910484301203321Formal methods for industrial critical systems4199378UNINA