Home Advanced Search

Advanced Search - Page 1

Formal Description Techniques IX: Theory, application and tools
  • PDF
  • English
  • Year: 1996
  • Author: Reinhard Gotzhein, Jan Bredereke (eds.)
SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erős, Gábor Kovács (auth.), Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed (eds.)
System Analysis and Modeling: Theory and Practice: 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Birger Møller-Pedersen (auth.), Øystein Haugen, Rick Reed, Reinhard Gotzhein (eds.)
System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Constantin Werner, Sebastian Kraatz, Dieter Hogrefe (auth.), Reinhard Gotzhein, Rick Reed (eds.)
Kommunikation in Verteilten Systemen (KiVS): 14. Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005) Kaiserslautern, 28. Februar – 3. März 2005
  • PDF
  • German
  • Year: 2005
  • Author: Jan Gerke, Burkhard Stiller (auth.), Paul Müller, Reinhard Gotzhein, Jens B. Schmitt (eds.)