bibtex

@article{NBB+15,
    title = { Statistical model checking QoS properties of systems with {SBIP} },
    author = {Nouri, Ayoub and Bensalem, Saddek and Bozga, Marius and Delahaye, Beno\^it and J'egourel, Cyrille and Legay, Axel},
    year = {2015},
    journal = {{STTT}},
    number = {2},
    pages = {171--185},
    volume = {17},
    team = {DCS, RSD},
}

URL


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

info visites 4155594