| |
| 2007 | ||
|---|---|---|
| 2 | EE | Cliff 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 |
| 2003 | ||
| 1 | EE | Ian J. Hayes, Michael A. Jackson, Cliff B. Jones: Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169 |
| 1 | Ian J. Hayes | [1] [2] |
| 2 | Cliff B. Jones | [1] [2] |