Login / Signup
Michael A. Jackson
Publication Activity (10 Years)
Years Active: 2003-2007
Publications (10 Years): 0
</>
Publications
</>
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)
Ian J. Hayes
,
Michael A. Jackson
,
Cliff B. Jones
Determining the Specification of a Control System from That of Its Environment.
FME
(2003)