@inproceedings{NM07,
title = { AMT: A Property-Based Monitoring Tool for Analog Systems },
author = {Nickovic, Dejan and Maler, Oded},
year = {2007},
booktitle = {FORMATS},
pages = {304-319},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4763},
team = {TEMPO},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6009434
|
|
|