bibtex

@inproceedings{KFF7c,
    title = {Constructing verification models of nonlinear Simulink systems via syntactic hybridization },
    author = {Kekatos, Nikolaos and Forets, Marcelo and Frehse, Goran},
    year = {2017},
    booktitle = {Conference on Decision and Control ({CDC})},
    pages = {1788--1795},
    team = {TEMPO},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4182763