Runtime Verification of Typical Requirements for a Space Critical SoC Platform.

Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jrme Lachaize, Vincent Lefftz

Browse the full FMICS paper archive.