Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers - Lecture Notes in Computer Science - Stefan Leue - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540797067 - 19 de mayo de 2008
En caso de que portada y título no coincidan, el título será el correcto

Stefan Leue
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers - Lecture Notes in Computer Science 2008 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 27 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

Marc Notes: Includes bibliographical references and author index. Table of Contents: Invited Presentations.- Verification of Embedded Software: From Mars to Actions.- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.- Research Papers.- Static Analysis of the Accuracy in Control Systems: Principles and Experiments.- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.- Checking the TWIN Elevator System by Translating Object-Z to SMV.- Introducing Time in an Industrial Application of Model-Checking.- Integration of Formal Analysis into a Model-Based Software Development Process.- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.- Computing Worst-Case Response Times in Real-Time Avionics Applications.- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.- Model Classifications and Automated Verification.- An Approach to Formalization and Analysis of Message Passing Libraries.- Analysis of a Session-Layer Protocol in mCRL2.- Automatic Certification of Java Source Code in Rewriting Logic.- Reverse Engineered Formal Models for GUI Testing.- Automatic Interoperability Test Case Generation Based on Formal Definitions. Publisher Marketing: This text constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de mayo de 2008
ISBN13 9783540797067
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 254
Dimensiones 155 × 235 × 14 mm   ·   408 g
Lengua Alemán  
Editor Leue, Stefan
Editor Merino, Pedro

Mere med samme udgiver

Ver todo de Stefan Leue ( Ej. Paperback Book )