Accueil > Verimag > Publications

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


Actualités

Nouvelles publications

Offres d'emploi et stages

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

info visites 1851222