FalconeJNBB13

Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem. Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation. SOSYM, SOftware and SYstem Modeling, 2013.

Contact

Ylies Falcone

Référence BibTex

@article{FalconeJNBB13,
   Author = {Falcone, Y. and Jaber, M. and Nguyen, Th-H. and Bozga, M. and Bensalem, S.},
   Title = {Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation},
   Journal = {SOSYM, SOftware and SYstem Modeling},
   Year = {2013}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)