Synthesis of asynchronous monitors for critical electronic systems.

Alexandre Porcher, Katell Morin-Allory, Laurent Fesquet

Browse the full DDECS paper archive.