Showing 1 - 2 results of 2 for search 'Bienmüller, T', query time: 0.02s
Refine Results
-
1
Successful use of incremental BMC in the automotive industry by Schrammel, P, Kroening, D, Brain, M, Martins, R, Teige, T, Bienmüller, T
Published 2015Conference item -
2
Incremental bounded model checking for embedded software by Schrammel, P, Kroening, D, Brain, M, Martins, R, Teige, T, Bienmüller, T
Published 2017Journal article