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
« März 2010 »
März
MoDiMiDoFrSaSo
1234567
891011121314
15161718192021
22232425262728
293031
Impressum - Datenschutz - Kontakt