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]

@inproceedings{FontanSA08,
  title = {Synthèse d'observateurs à partir d'exigences temporelles},
  author = {Benjamin Fontan and Pierre de Saqui-Sannes and Ludovic Apvrille},
  year = {2008},
  url = {http://editions-rnti.fr/?inprocid=1000613},
  researchr = {https://researchr.org/publication/FontanSA08},
  cites = {0},
  citedby = {0},
  pages = {185-203},
  booktitle = {Langages et Modèles à Objets, LMO 2008, Montréal, Québec, Canada, 5-7 mars 2008},
  editor = {Houari A. Sahraoui and Mireille Blay-Fornarino and Yann-Gaël Guéhéneuc},
  volume = {L-1},
  series = {RNTI},
  publisher = {Cépaduès-Éditions},
  isbn = {978-2-85428-824-7},
}