Publications by Professor Michael Jackson - ePrints

Newcastle Authors	Title	Year
Professor Michael Jackson Emeritus Professor Cliff Jones Dr Manuel Mazzara	Towards a Formalism-Based Toolkit for Automotive Applications	2012
Emeritus Professor Cliff Jones Professor Michael Jackson	Deriving specifications for systems that are connected to the physical world	2007
Emeritus Professor Cliff Jones Professor Michael Jackson	Deriving specifications for systems that are connected to the physical world	2007
Emeritus Professor Cliff Jones Professor Michael Jackson	Specifying systems that connect to the physical world	2006
Professor Michael Jackson	What can we expect from program verification?	2006
Professor Ian Hayes Professor Michael Jackson Emeritus Professor Cliff Jones	Determining the specification of a control system from that of its environment	2003
Professor Michael Jackson Emeritus Professor Cliff Jones	Determining the specification of a control system from that of its environment	2003
Professor Michael Jackson Emeritus Professor Cliff Jones	Determining the specification of a control system from that of its environment	2003