Verimag

bibtex

@inproceedings{KFF7,
    title = {Modeling the Wind Turbine Benchmark with PWA Hybrid Automata },
    author = {Kekatos, Nikolaos and Forets, Marcelo and Frehse, Goran},
    year = {2017},
    booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
    pages = {100--113},
    series = {EPiC Series in Computing},
    volume = {48},
    team = {TEMPO},
    bibsource = {EasyChair, http://www.easychair.org},
}

Publication Sections


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

info visites 829244