Formal Modeling and Analysis of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings
暫譯: 定時系統的正式建模與分析：第18屆國際會議，Formats 2020，維也納，奧地利，2020年9月1-3日，會議論文集

Bertrand, Nathalie, Jansen, Nils

Formal Modeling and Analysis of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings
  • 出版商: Springer
  • 出版日期: 2020-08-17
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 301
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030576272
  • ISBN-13: 9783030576271

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.
The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.

Due to the Corona pandemic this conference was held as a virtual event.

商品描述(中文翻譯)

本書為第18屆國際時間系統形式建模與分析會議（FORMATS 2020）的經過審核的會議論文集，該會議於2020年9月在奧地利維也納舉行。本卷收錄的16篇完整論文和2篇短文均經過仔細審核和選擇，這些論文聚焦於基礎與語義、方法與工具、技術、演算法、資料結構以及用於分析時間系統和解決時間約束的軟體工具等主題。

由於新冠疫情，此次會議以虛擬形式舉行。

類似商品