Determining the specification of a control system from that of its environment (2003)

Cached

Download Links

by Ian J. Hayes , Michael A. Jackson , Cliff B. Jones
Venue:In Keijiro Araki, Stefani Gnesi, and Dino Mandrioli, editors, FME 2003: Formal Methods, volume 2805 of LNCS
Citations:26 - 9 self