Add Wish List Add to Cart The item has been added Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held... RRP: $92.00 Add to Cart The item has been added