Mirco Tribastone
News
- Ph.D. studentships on Formal Methods for Software Engineering available. Siehe englische Seite
Kontakt
Email:tribastone (at) pst.ifi.lmu.de
Skype: mircotribastone
Addresse
Programmierung und Softwaretechnik
Institut für Informatik
Ludwig-Maximilians-Universität München
Oettingenstr. 67
Lehre
Forschung
- Performance Evaluation
- Stochastic Process Algebras
- Development of software tools for quantitave analysis
Publikationen
