Michael A. Jackson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2EECliff B. Jones, Ian J. Hayes, Michael A. Jackson: Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems 2007: 364-390
1EEIan J. Hayes, Michael A. Jackson, Cliff B. Jones: Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169

Coauthor Index

1Ian J. Hayes [1] [2]
2Cliff B. Jones [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)