bibtex

@inproceedings{KFF7a,
    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},
}


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

info visites 4121951