Werner Damm,Ernst-Rüdiger Olderog: 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

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



____________________________
Author: Werner Damm,Ernst-Rüdiger Olderog
Number of Pages: 462 pages
Published Date: 01 Sep 2002
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540441656
Download Link: Click Here
____________________________