@incollection{zainea:hal-00425178,
TITLE = {Un mod{\`e}le formel pour les interrupteurs en {\'e}lectronique de puissance},
AUTHOR = {Zainea, Marius and Gu{\'e}guen, Herv{\'e} and Buisson, Jean},
URL = {https://centralesupelec.hal.science/hal-00425178},
NOTE = {Auteurs : P. Borne, F Filip, M Benrejeb, D. Popescu - ISBN : 978-973-27-1806-3},
BOOK
TITLE = {Automatique avanc{\'e}e et informatique appliqu{\'e}e},
PUBLISHER = {Editura Academiei Rom{\^a}ne},
PAGES = {pp. 235-239},
YEAR = {2009},
MONTH = May, HAL_ID = {hal-00425178},
HAL_VERSION = {v1},
}