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 Stefan Leue 2008 edition

Name: 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
Price: 8450 JPY
Availability: OutOfStock
Author: Stefan Leue

価格

¥ 8.450

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月16日 - 年11月26日

クリスマスプレゼントは1月31日まで返品可能です

Stefan Leue の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

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

2008 edition

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.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2008年5月19日
ISBN13	9783540797067
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	254
寸法	155 × 235 × 14 mm · 408 g
言語	ドイツ語
編集者	Leue, Stefan
編集者	Merino, Pedro