7. FTRTFT 2002:
Oldenburg,
Germany
Werner Damm, Ernst-Rüdiger Olderog (Eds.):
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.
Lecture Notes in Computer Science 2469 Springer 2002, ISBN 3-540-44165-4 BibTeX
@proceedings{DBLP:conf/ftrtft/2002,
editor = {Werner Damm and
Ernst-R{\"u}diger Olderog},
title = {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},
booktitle = {FTRTFT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2469},
year = {2002},
isbn = {3-540-44165-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Tutorials
Invited Papers
Synthesis and Scheduling
Timed Automata I
Bounded Model Checking
Verification and Conformance Testing
UML Models and Model Checking
Timed Automata II
Copyright © Sat May 16 23:13:01 2009
by Michael Ley (ley@uni-trier.de)