@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6014532
|
|
|