Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus
暫譯: 系統的定量評估與定時系統的形式建模與分析：第二屆國際聯合會議 Qest+formats 2025，奧胡斯

Prabhakar, Pavithra, Vandin, Andrea

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus
  • 出版商: Springer
  • 出版日期: 2025-10-02
  • 售價: $3,190
  • 貴賓價: 9.5 折 $3,031
  • 語言: 英文
  • 頁數: 508
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032057914
  • ISBN-13: 9783032057914
  • 相關分類: Computer-Science

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

相關主題

商品描述

This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.

The 26 full papers included in these proceedings were carefully reviewed and selected from 57 submissions. They focus on up to date research in quantitative evaluation of systems and formal modeling and analysis of timed systems.

商品描述(中文翻譯)

本書為第二屆國際聯合會議「系統的定量評估與定時系統的形式建模與分析」（QEST+Formats 2025）的會議紀錄，該會議於2025年8月在丹麥的奧胡斯舉行。

這些會議紀錄中包含的26篇完整論文是從57篇投稿中經過仔細審查和選拔而來。這些論文專注於系統的定量評估以及定時系統的形式建模與分析的最新研究。

類似商品