A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.

Antoine Rollet, Fares Saad-Khorchef

Browse the full SERA paper archive.