Verimag

bibtex

@inproceedings{BBB+16,
    title = {RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems },
    author = {Ben-Rayana, Souha and Bozga, Marius and Bensalem, Saddek and Combaz, Jacques},
    year = {2016},
    booktitle = {Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9636},
    address = {New York, NY, USA},
    pages = {394--406},
    publisher = {Springer-Verlag New York, Inc.},
    team = {RSD},
}

Sections de Publications


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

info visites 912503