@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008860
|
|
|