ePrints

Deriving specifications for systems that are connected to the physical world

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD, Professor Michael Jackson

Downloads

• Accepted version [.pdf]

Publication metadata

Author(s): Jones CB, Hayes IJ, Jackson MA

Editor(s): Jones CB; Liu Z; Woodcock J

Publication type: Book Chapter

Publication status: Published

Book Title: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Year: 2007

Volume: 4700

Pages: 364-390

Series Title: Lecture Notes in Computer Science

Publisher: Springer-Verlag

Place Published: Berlin

URL: http://dx.doi.org/10.1007/978-3-540-75221-9_16

DOI: 10.1007/978-3-540-75221-9_16

Library holdings: Search Newcastle University Library for this item

ISBN: 9783540752202

Share