Formal Methods and Hybrid Real-Time Systems [E-Book] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /  

Jones, Cliff B.
2007

SDL 2007: Design for Dependable Systems [E-Book] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /  

Gaudin, Emmanuel
2007

Model Driven Architecture- Foundations and Applications [E-Book] / Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings  

Akehurst, David
2007