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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540797067 - 2008. gada 19. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 62,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 3. - 17. sept.
Saņemiet paziņojumus par jauniem Stefan Leue izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2008. gada 19. maijs
ISBN13 9783540797067
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 254
Izmēri 155 × 235 × 14 mm   ·   408 g
Valoda Vācu  
Redaktors Leue, Stefan
Redaktors Merino, Pedro

Vairāk no tā paša izdevēja

Skatīt visus Stefan Leue ( piem., Paperback Book )