5 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
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…