Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9--12, 2002. Proceedings. (Q1880565)

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 0947.00042) Indexed articles: \textit{Lohr, Christophe; Courtiat, Jean-Pierre}, From the specification to the scheduling of time-dependent systems, 129-145 [Zbl 1278.68182] \textit{Yamamoto, Mitsuharu; Cottin, Jean-Marie; Hagiya, Masami}, Decidability of safety properties of timed multiset rewriting, 165-183 [Zbl 1278.68128] \textit{Fernández Vilas, Ana; Pazos Arias, José J.; Díaz Redondo, Rebeca P.}, Extending timed automaton and real-time logic to many-valued reasoning, 185-204 [Zbl 1278.68132] \textit{Tripakis, Stavros}, Fault diagnosis for timed automata, 205-221 [Zbl 1278.68140] \textit{Niebert, Peter; Mahfoudh, Moez; Asarin, Eugene; Bozga, Marius; Maler, Oded}, Verification of timed automata via satisfiability checking, 225-243 [Zbl 1278.68187] \textit{Fränzle, Martin}, Take it NP-easy: bounded model construction for duration calculus, 245-264 [Zbl 1278.68170] \textit{Penczek, Wojciech; Woźna, Boẓena; Zbrzezny, Andrzej}, Towards bounded model checking for the universal fragment of TCTL, 265-288 [Zbl 1278.68192] \textit{Palsberg, Jens; Ma, Di}, A typed interrupt calculus, 291-310 [Zbl 1278.68191] \textit{Bouajjani, Ahmed; Merceron, Agathe}, Parametric verification of a group membership algorithm, 311-330 [Zbl 1278.68159] \textit{Khoumsi, Ahmed}, A method for testing the conformance of real time systems, 331-351 [Zbl 1278.68036] \textit{Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter}, A probabilistic extension of UML statecharts specification and verification, 355-374 [Zbl 1278.68226] \textit{Damm, Werner; Jonsson, Bengt}, Eliminating queues from RT UML model representations, 375-393 [Zbl 1278.68165] \textit{Zhao, Jianhua; Xu, He; Li, Xuandong; Zheng, Tao; Zheng, Guoliang}, Partial order path technique for checking parallel timed automata, 417-432 [Zbl 1278.68198] \textit{Dierks, Henning; Lettrari, Marc}, Constructing test automata from graphical real-time requirements, 433-453 [Zbl 1278.68167]