Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)
Interactive Markov Chains: And the Quest for Quantified Quality
  • PDF
  • English
  • Year: 2002
  • Author: Holger Hermanns (eds.)
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
  • PDF
  • German
  • Year: 1987
  • Author: Werner Damm (auth.)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Embedded Systems for Smart Appliances and Energy Management
  • PDF
  • English
  • Year: 2013
  • Author: Holger Hermanns, Holger Wiechmann (auth.), Christoph Grimm, Peter Neumann, Stefan Mahlknecht (eds.)
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
search