mario bravetti
Formal Techniques for Computer Systems and Business Processes
Print on DemandThis book constitutes the refereed proceedings of two colocated international workshops EPEW 2005...
Web Services and Formal Methods
Print on DemandThis book constitutes the thoroughly refereed post-workshop proceedings of the 7th International ...
Software Engineering and Formal Methods
Print on DemandInhaltsangabeVerifying MARTE CCSL Mode Behaviors Using UPPAAL.- A Transformation Approach for Mul...
- 1