Home Advanced Search

Advanced Search - Page 1

Formal Methods
  • PDF
  • English
  • Year: 2018
  • Author: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Control Flow Semantics
  • DJVU
  • English
  • Year: 1996
  • Author: Jaco de Bakker, Erik de Vink
Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes
  • PDF
  • English
  • Year: 2012
  • Author: Oana Andrei, Muffy Calder (auth.), Corrado Priami, Ion Petre, Erik de Vink (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Erika Ábrahám, Klaus Havelund (eds.)
Aircraft Interior Comfort and Design
  • PDF
  • English
  • Year: 2011
  • Author: Peter Vink, Klaus Brauer
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)
Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Oliver Schulz, Jan Peleska (auth.), Erwin Schoitsch (eds.)
Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Oliver Schulz, Jan Peleska (auth.), Erwin Schoitsch (eds.)
Transactions on computational systems biology XIII
  • PDF
  • English
  • Year: 2011
  • Author: Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)
Transactions on Computational Systems Biology XIII
  • PDF
  • English
  • Year: 2011
  • Author: Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)
search