Formal Techniques for Safety-Critical Systems（Paperback）
暫譯: 安全關鍵系統的正式技術（平裝本）

Formal Techniques for Safety-Critical Systems（Paperback）
  • 出版商: Springer
  • 出版日期: 2016-02-03
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 271
  • 裝訂: Paperback
  • ISBN: 3319295098
  • ISBN-13: 9783319295091

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.

The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. 

商品描述(中文翻譯)

本書為2015年11月在法國巴黎舉行的第四屆安全關鍵系統形式技術國際研討會（FTSCS 2015）的經過審核的會議論文集。

共提交了41篇論文，經過仔細審核後，選出了15篇修訂的完整論文，並附上了一場邀請演講和兩篇工具論文。這些論文按主題分為以下幾個部分：定時系統；鐵路系統；容錯；汽車系統；軟體與系統分析；工具。

類似商品