|
Formal Techniques in Real-Time and Fault-Tolerant Systems
more books like this
by
Werner Damm (Editor), Ernst-Rdiger Olderog (Editor), Ernst-Ruediger Olderog
This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002. The 17 revised full papers presented together with 2 invited tutorials and 6 invited papers were carefully reviewed and selected from 39 ...
see all copies
from $1.99!
new only
from $3.45!
|
SVS
|