首页>外文会议>计算机、自动化>Joint International Conferences on Formal Modelling and Analysis of Timed Systems(FORMATS 2004) and Formal Techniques in Real-Time and Fault-Tolerant Systems(FTRTFT 2004); 20040922-24; Grenoble(FR)
Joint International Conferences on Formal Modelling and Analysis of Timed Systems(FORMATS 2004) and Formal Techniques in Real-Time and Fault-Tolerant Systems(FTRTFT 2004); 20040922-24; Grenoble(FR)