Context

Context of Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modeling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault -tolerant systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
Processing Feedback ...