Synthèse d'observateurs à partir d'exigences temporelles

Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille. Synthèse d'observateurs à partir d'exigences temporelles. In Houari A. Sahraoui, Mireille Blay-Fornarino, Yann-Gaël Guéhéneuc, editors, Langages et Modèles à Objets, LMO 2008, Montréal, Québec, Canada, 5-7 mars 2008. Volume L-1 of RNTI, pages 185-203, Cépaduès-Éditions, 2008. [doi]

Abstract

Abstract is missing.