Verimag

bibtex

@inproceedings{NLB+13,
    title = {SBIP: A Statistical Model Checking Extension for the BIP Framework },
    author = {Nouri, Ayoub and Legay, Axel and Bensalem, Saddek and Bozga, Marius},
    year = {2013},
    booktitle = {Statistical Model Checking Workshop, SMC},
    team = {DCS, RSD},
}

Sections de Publications


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

info visites 916669