| 書目名稱 | Formal Techniques in Real-Time and Fault-Tolerant Systems | | 副標題 | 7th International Sy | | 編輯 | Werner Damm,Ernst -Rüdiger Olderog | | 視頻video | http://file.papertrans.cn/346/345949/345949.mp4 | | 概述 | Includes supplementary material: | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub ¨ eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in indu | | 出版日期 | Conference proceedings 2002 | | 關鍵詞 | Erfüllbarkeitsproblem der Aussagenlogik; Interrupt; Scheduling; algorithms; architecture; automata; formal | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-45739-9 | | isbn_softcover | 978-3-540-44165-6 | | isbn_ebook | 978-3-540-45739-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2002 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-16 10:06
發(fā)表于 2025-3-21 19:57:12
