@inproceedings{OH08,
title = { On the timed automata-based verification of {R}avenscar systems },
author = {Ober, Ileana and Halbwachs, Nicolas},
month = {jun},
year = {2008},
booktitle = {13th International Conference on Reliable Software Technologies - Ada-Europe 2008},
address = {Venice, Italy},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6014532
|
|
|