Which Automata for Which Safety Assessment Step of Satellite FDIR?

Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart

Browse the full SAFECOMP paper archive.