Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录 pdf epub mobi txt 电子书 下载 2025
- 形式化建模
- 时间系统
- 实时系统
- 并发系统
- 模型检测
- 验证
- Petri网
- 时间逻辑
- 形式化方法
- 系统分析
具体描述
《Formal Modeling and Analysis of Timed Systems》：he LCS series reprs sae-f-he-ar resuls i cmpuer sciece research, develpme, ad educai, a a high level ad i bh pried ad elecric frm. Ejyig igh cperai wih he RD cmmuiy,wih umerus idividuals, as well as wih presigius rgaizais ad scieies, LCS has grw i he ms cmprehesive cmpuer sciece research frum available.
he scpe f LCS, icludig is subseries LAI ad LBI, spas he whle rage f cmpuer sciece ad ifrmai echlgy icludig ierdiscipliary pics i a variey f applicai fields. he ype f maerial published radiially icludes.
-prceedigs (published i ime fr he respecive cferece)
-ps-prceedigs (csisig f hrughly revised fial full papers)
-research mgraphs (which may be based usadig PhD wrk,research prjecs, echical reprs, ec.)
作者简介
目录信息
读后感
评分
评分
评分
评分
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有