| 书目名称 | Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | | 副标题 | Joint International | | 编辑 | Yassine Lakhnech,Sergio Yovine | | 视频video | http://file.papertrans.cn/346/345950/345950.mp4 | | 概述 | Includes supplementary material: | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 出版日期 | Conference proceedings 2004 | | 关键词 | Analysis; Automat; Scheduling; automata; formal specification; formal verification; model checking; modelin | | 版次 | 1 | | doi | https://doi.org/10.1007/b100824 | | isbn_softcover | 978-3-540-23167-7 | | isbn_ebook | 978-3-540-30206-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2004 |
The information of publication is updating
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems影响因子(影响力)
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems影响因子(影响力)学科排名
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems网络公开度
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems网络公开度学科排名
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems被引频次
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems被引频次学科排名
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems年度引用
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems年度引用学科排名
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems读者反馈
书目名称Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems读者反馈学科排名
|
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-11-14 14:25
发表于 2025-3-21 18:15:17
