Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)
暫譯: 安全關鍵系統的正式技術：第六屆國際研討會 FTSCS 2018，澳洲黃金海岸，2018年11月16日，修訂選擇...於計算機與資訊科學系列中

Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)
  • 出版商: Springer
  • 出版日期: 2019-02-02
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 179
  • 裝訂: Paperback
  • ISBN: 303012987X
  • ISBN-13: 9783030129873

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.

The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

商品描述(中文翻譯)

本書為第六屆國際安全關鍵系統形式技術研討會（FTSCS 2018）的經過審稿的會議論文集，該會議於2018年11月在澳大利亞黃金海岸舉行。

本書收錄了10篇經過修訂的完整論文，並附有一篇受邀演講的摘要，這些論文是從22篇投稿中仔細審核和選出的。論文按主題分為幾個部分，包括安全關鍵系統的分析與驗證、定時系統的分析、語義與分析方法，以及模型轉換。

類似商品