title = {Control software model checking using bisimulation functions for nonlinear systems },
    author = {Kapinski, James Patrick and Lerda, Flavio and Donz\'e, Alexandre and Krogh, Bruce H. and Maka, Hitashyam and Wagner, Silke},
    month = {December},
    year = {2008},
    booktitle = {Proceedings of the 47th IEEE Conference on Decision and Control (CDC'08)},
    team = {TEMPO},

Sections de Publications

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876967