Determining the specification of a control system from that of its environment

  1. Lookup NU author(s)
  2. Professor Michael Jackson
  3. Professor Cliff Jones
Author(s)Hayes IJ, Jackson MA, Jones CB
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference NameInternational Symposium of Formal Methods Europe (FME 2003)
Conference LocationPisa, Italy
Year of Conference2003
Legacy Date8-14 September 2003
Volume2805
Pages154-169
Series TitleLecture Notes in Computer Science
03029743
ISBN3540408282
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer-Verlag
URLhttp://dx.doi.org/10.1007/978-3-540-45236-2_10
DOI10.1007/978-3-540-45236-2_10
Actions    Link to this publication
Share
Library holdingsSearch Newcastle University Library for this item