TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 98 records were found in 0.453 seconds
Reverse Engineering with Simulation Graphs
FMCAD, 152-159, 2015
Formale Methoden für Alle
MBMV, 213-216, 2014
Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung
GI-Jahrestagung, 151, 2013
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen
MBMV, 99-103, 2013
Formale Spezifikationsebene
Ausgezeichnete Informatikdissertationen, 241-250, 2013
Towards Automatic Property Generation for the Formal Verification of Bus Bridges
MBMV, 183-192, 2011
Verifying UML/OCL Models Using Boolean Satisfiability
MBMV, 57-66, 2010