M. A. Jackson
2 published titles
Deriving specifications for systems that are connected to the physical world
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2007
- Details
Towards a formalism-based toolkit for automotive applications
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2012
- Details
