bibtex

@inproceedings{MNB+8a,
    title = { \emph{S} {BIP} 2.0: Statistical Model Checking Stochastic Real-Time Systems },
    author = {Mediouni, Braham Lotfi and Nouri, Ayoub and Bozga, Marius and Dellabani, Mahieddine and Legay, Axel and Bensalem, Saddek},
    year = {2018},
    booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings},
    pages = {536--542},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {11138},
    team = {RSD},
}

URL

Sections de Publications


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

info visites 1112405