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: | |
---|---|
Conference: | |
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!
|
Be the first to leave a comment!