Product DescriptionThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full...
- No Comments
- More
- Tags: 2003, Analysis, First, Formal, FORMATS, France, International, Marseille, Modeling, Papers, Revised, September, Systems, Timed, Workshop
Product DescriptionThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full...
- No Comments
- More
- Tags: 2003, Analysis, First, Formal, FORMATS, France, International, Marseille, Modeling, Papers, Revised, September, Systems, Timed, Workshop
Product DescriptionThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full...
- No Comments
- More
- Tags: 2003, Analysis, First, Formal, FORMATS, France, International, Marseille, Modeling, Papers, Revised, September, Systems, Timed, Workshop
March 19, 2010 | In: Books
Product DescriptionThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full...
- No Comments
- More
- Tags: 2003, Analysis, First, Formal, FORMATS, France, International, Marseille, Modeling, Papers, Revised, September, Systems, Timed, Workshop
Advertising