Veröffentlicht am 14. April 2016.

BTC Vorträge auf SC2 Workshop

September 24, 2016

BTC Embedded Systems hält zwei Vorträge auf dem internationalen "Workshop on Satisfiability Checking and Symbolic Computation" (FETOPEN-CSA) SC2 2016 in Timisoara, Rumänien. Die Vortragstitel sind "Accurate dead code detection in embedded C Code by arithmetic constraint solving" und "Satisfaction Meets Practice and Confidence".