Verimag

bibtex

@article{RAB+15,
    title = { Compositional Verification for Timed Systems Based on Automatic Invariant Generation },
    author = {Rayana, Souha Ben and Astefanoaei, Lacramioara and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
    year = {2015},
    journal = {Logical Methods in Computer Science},
    number = {3},
    volume = {11},
    team = {RSD},
}

URL

Sections de Publications


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

info visites 915962