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

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:	softwarové inženýrství operační systémy pro řízení v reálném čase kvalita programu
Tags:	Add Tag No Tags, Be the first to tag this record!