Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Publication year: 2008
: 978-3-540-79707-4
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.
: Computer Science, Computer, Java, calculus, cyclic scheduling, distributed verification, embedded systems, formal method, formal specification, formal verification, microcontroller, model-based development, real-time, real-time analysis, software verifi, verification, Theory of Computation, Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Special Purpose and Application, Based Systems
