Matthias Sauppe
According to our database1,
Matthias Sauppe
authored at least 6 papers
between 2008 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
5
1
1
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015
2013
Bell Labs Tech. J., 2013
Einsatz formaler Methoden zur Energieeinsparung.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013
Proceedings of the 2013 Forum on specification and Design Languages, 2013
Proceedings of Eurocon 2013, 2013
2008
J. Commun., 2008