3 citations · 3 across the 1 of their papers we have counts for
1 paper
Frank Flederer, Ludwig Ostermayer, Dietmar Seipel +1
System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their…