Home Advanced Search

Advanced Search - Page 1

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.)
HRT-HOOD(tm): A Structured Design Method for Hard Real-Time Ada Systems
  • PDF
  • Year: 1995
  • Author: Alan Burns and Andy Wellings (Eds.)
Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
  • PDF
  • English
  • Year: 2007
  • Author: Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
  • PDF
  • English
  • Year: 2007
  • Author: Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
  • PDF
  • English
  • Year: 2007
  • Author: Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Andy Wellings, Alan Burns (auth.), Nabil Abdennadher, Fabrice Kordon (eds.)
Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Andy Wellings, Alan Burns (auth.), Nabil Abdennadher, Fabrice Kordon (eds.)
search