Activities per year
Activities
- 4 results
Search results
-
An Introduction to Formal Methods for Software Development
Haxthausen, A. E. (Consultant)
7 Oct 2011Activity: Public and private sector consultancy › Public sector consultancy
-
An Introduction to Formal Methods for the Development of Safety-critical Applications
Haxthausen, A. E. (Consultant)
1 Sept 2010Activity: Public and private sector consultancy › Public sector consultancy
-
Formal Methods: A Tutorial on Model-oriented Specification
Haxthausen, A. E. (Consultant)
14 Oct 2010Activity: Public and private sector consultancy › Public sector consultancy
-
An Introduction to Formal Methods for Software Development
Haxthausen, A. E. (Consultant)
25 Jun 2010Activity: Public and private sector consultancy › Public sector consultancy