Which Automata for Which Safety Assessment Step of Satellite FDIR?

Sorry, there's nothing here.

Cite this paper

@inproceedings{Pintard2012WhichAF, title={Which Automata for Which Safety Assessment Step of Satellite FDIR?}, author={Ludovic Pintard and Christel Seguin and Jean-Paul Blanquart}, booktitle={SAFECOMP}, year={2012} }