@article{FJN+5,
title = { Runtime verification of component-based systems in the {BIP} framework with formally-proved sound and complete instrumentation },
author = {Falcone, Ylies and Jaber, Mohamad and Nguyen, Thanh-Hung and Bozga, Marius and Bensalem, Saddek},
year = {2015},
journal = {Software and System Modeling},
number = {1},
pages = {173--199},
volume = {14},
team = {RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32849756
|
|
|