Formal Methods for Industrial Critical Systems  17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /  [electronic resource] : 
edited by Mariëlle Stoelinga, Ralf Pinger. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (XIV, 223 p. 87 ill.) 
 - Lecture Notes in Computer Science,  7437  0302-9743 ; .
<br/><br/>Real-Time Specification Patterns and Tools -- Automated Extraction of Abstract Behavioural Models from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.-  Waiting for Locks: How Long Does It Usually Take? -- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.- Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs -- Range Analysis of Binaries with Minimal Effort -- Combining Analyses for C Program Verification -- Model Checking the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations -- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.-  Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems -- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java -- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.  . 
<br/><br/><label>ISBN: </label>9783642324697 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Special purpose computers.<br/>Software engineering.<br/>Computers.<br/>Computer logic.<br/>Application software.