Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Basil Becker

Dissertation von Basil Becker zum Thema "Architectural modelling and verification of open service-oriented systems of systems" (2014) (Link)

Forschungsinteressen

  • Modellierung
  • Service-orientierte Systeme
  • selbst-adaptive Systeme
  • Verifikation

Auszeichnungen

ACM SIGSOFT Frank Anger Memorial Award 2008

Lehre

Publikationen