Accéder directement au contenu

Sébastien Tixeuil

4
Documents

Publications

beatrice-berard
Image document

Vérification formelle et robots mobiles

Béatrice Bérard , Laure Millet , Maria Gradinariu Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès hal-00818707v1