bibtex

@inproceedings{Fre15h,
    title = { An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis },
    author = {Frehse, Goran},
    year = {2015},
    booktitle = {Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015},
    crossref = {DBLP:conf/syde/2015},
    pages = {50--81},
    team = {TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/syde/Frehse15}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL


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

info visites 4087347