bibtex

@inproceedings{NRB+4,
    title = { Faster Statistical Model Checking by Means of Abstraction and Learning },
    author = {Nouri, Ayoub and Raman, Balaji and Bozga, Marius and Legay, Axel and Bensalem, Saddek},
    year = {2014},
    booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings},
    pages = {340--355},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8734},
    team = {DCS, RSD},
}

URL


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

info visites 3900365