Home Advanced Search

Advanced Search - Page 1

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.)
Using Event-B for Critical Device Software Systems
  • PDF
  • English
  • Year: 2013
  • Author: Neeraj Kumar Singh (auth.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Employee Relations Management
  • PDF
  • English
  • Year: 2011
  • Author: P. N. Singh, Neeraj Kumar
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.)
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.)
search