Startseite > People > Staff > S. Bauer > Research

Research

Research of Sebastian Bauer

Areas of Interest:

  • Component-based software development
  • Semantic foundations of formalisms for behaviour specifications
  • Modal transition systems
  • Proof theory
Versenden Drucken
nach oben
« Februar 2012 »
Februar
MoDiMiDoFrSaSo
12345
6789101112
13141516171819
20212223242526
272829
Impressum - Datenschutz - Kontakt