bibtex

@inproceedings{BBD+2,
    title = {Statistical Model Checking QoS Properties of Systems with SBIP },
    author = {Bensalem, Saddek and Bozga, Marius and Delahaye, Beno\^it and J'egourel, Cyrille and Legay, Axel and Nouri, Ayoub},
    year = {2012},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proc},
    pages = {327-341},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {7609},
    team = {DCS, RSD},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4181881