Formal Modeling and Analysis of Timed Systems（Lecture Notes in Computer Science）
第21届时间系统的形式化建模与分析国际会议 2023 / 会议录
计算机科学技术基础学科
￥
552.5
售 价：
￥
442.00
优惠
平台大促 低至8折优惠
发货周期：国外库房发货,通常付款后3-5周到货！
出版时间
2023年09月18日
装 帧
平装
页 码
175
语 种
英文
版 次
2023
综合评分
暂无评分
- 图书详情
- 目次
- 买家须知
- 书评（0）
- 权威书评（0）
图书简介
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.
本书暂无推荐
本书暂无推荐
看了又看
- 上一个
