anne e haxthausen
Theoretical Aspects of Computing - ICTAC 2008
Print on DemandResearch on theoretical aspects of computing has a direct impact on the pr- tice of computer syst...
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Print on DemandThis book constitutes the refereed proceedings of the 4th International Conference on Reliability...
Applicable Formal Methods for Safe Industrial Products
Print on DemandThis Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers ...
Formal Methods for Industrial Critical Systems
Print on DemandThis book constitutes the proceedings of the 29th International Conference on Formal Methods for ...
Journeys Between Formal Methods and the Railway Industry
Print on DemandAlessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a ...
- 1