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:
Bibliographic Details
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!
LEADER 01160nam a2200301 a 4500
001 000161218
003 CZ PrSTK
005 20080110113620.0
008 021007s2002 gw ||| | eng
020 |a 3-540-44165-4 
022 |a 0302-9743 
040 |a ABA013  |b cze 
050 0 |a QA76.54  |b .F77 2002 
LCC |a QA76.54  |b .F77 2002 
080 |a 004.41(063)  |2 undef 
080 |a 004.031.43(063)  |2 undef 
111 2 |a FTRTFT 2002  |n (7. :  |c Oldenburg, Německo) 
245 1 0 |a Formal techniques in real-time and fault-tolerant systems :  |b 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings /  |c Werner Damm, Ernst-Rüdiger Olderog (eds.) 
260 |a Berlin :  |b Springer,  |c c2002 
300 |a x, 253 s. :  |b il. 
490 0 |a Lecture notes in computer science ;  |v v. 2469 
650 0 7 |a softwarové inženýrství  |x if  |7 psh6634  |2 psh 
650 0 7 |a operační systémy pro řízení v reálném čase  |x vt  |7 psh12509  |2 psh 
650 0 7 |a kvalita programu  |x if  |7 psh6583  |2 psh 
700 1 |a Damm, Werner  |7 xx0050260  |4 edt 
700 1 |a Olderog, Ernst-Rüdiger  |4 edt 
910 |a ABA013  |b A 35378/3