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
Saved in:
Other Authors: |
Damm, Werner
(Editor) Olderog, Ernst-Rüdiger (Editor) |
---|---|
Conference: |
FTRTFT 2002 (7. : Oldenburg, Německo) |
Format: | Book |
Language: | English |
Published: |
Berlin :
Springer,
2002
|
Series: | Lecture notes in computer science ;
v. 2469 |
ISSN: | 0302-9743 |
ISBN: | 3-540-44165-4 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|