Home Advanced Search

Advanced Search - Page 1

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)
Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Egon Börger (auth.), Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim (eds.)
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2008
  • Author: Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)
Architecture Design and Validation Methods
  • PDF
  • English
  • Year: 2000
  • Author: Raul Camposano, Andrew Seawright, Joseph Buck (auth.), Prof. Dr. Egon Börger (eds.)