Home Advanced Search

Advanced Search - Page 1

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: John C. Knight (auth.), Anders P. Ravn, Hans Rischel (eds.)
Hybrid Systems: Computation and Control: 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: David Sharp (auth.), Claire J. Tomlin, Mark R. Greenstreet (eds.)
Hybrid Systems
  • DJVU
  • English
  • Year: 1993
  • Author: R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
  • PDF
  • English
  • Year: 2017
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
  • PDF
  • English
  • Year: 2016
  • Author: Zhiming Liu, Zili Zhang (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.)
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.)
Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Dominique Méry, Neeraj Kumar Singh (auth.), Zhiming Liu, Alan Wassyng (eds.)
search