| 书目名称 | Formal Techniques in Real-Time and Fault-Tolerant Systems | | 副标题 | 7th International Sy | | 编辑 | Werner Damm,Ernst -Rüdiger Olderog | | 视频video | | | 概述 | 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
|
|
发表于 2025-3-21 19:57:12
