Deriving specifications for systems that are connected to the physical world

  1. Lookup NU author(s)
  2. Professor Cliff Jones
  3. Professor Michael Jackson
Author(s)Jones CB, Hayes IJ, Jackson MA
Editor(s)Jones CB; Liu Z; Woodcock J
Publication type Book Chapter
Book TitleFormal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Series TitleLecture Notes in Computer Science
Year2007
Volume4700
Pages364-390
ISBN9783540752202
Full text is available for this publication:
PublisherSpringer-Verlag
Place PublishedBerlin
URLhttp://dx.doi.org/10.1007/978-3-540-75221-9_16
DOI10.1007/978-3-540-75221-9_16
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item