Auflistung nach Autor "Ulbrich, Mattias"
Anzeige der Dokumente 1-2 von 2
-
Automating regression verification
Felsing, Dennis; Grebing, Sarah; Klebanov, Vladimir; Rümmer, Philipp; Ulbrich, Mattias
75-76 -
A dual-engine for early analysis of critical systems
El Ghazi, Aboubakr Achraf; Geilmann, Ulrich; Ulbrich, Mattias; Taghdiri, Mana
352-352