Verimag

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},
}

Sections de Publications


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

info visites 1032616