bibtex

@inproceedings{SG5,
    title = { Timing Verification of an Aerial Video Tracking System Using UPPAAL },
    author = {Shan, Lijun and Graf, Susanne},
    year = {2015},
    booktitle = {Formal Methods for Timing Verification Challenge at WATERS 2015},
    volume = {part of ECRTS 2015, Lund},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 1507672