FJNBB_SEFM_2011

Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem. Runtime Verification of Component-Based Systems. In SEFM11: International Conference of Software Engineering and Formal Methods, Pages 204-220, 2011.

Contact

Ylies Falcone

Référence BibTex

@InProceedings{FJNBB_SEFM_2011,
   Author = {Falcone, Y. and Jaber, M. and Nguyen, Th-H. and Bozga, M. and Bensalem, S.},
   Title = {Runtime Verification of Component-Based Systems},
   BookTitle = {SEFM11: International Conference of Software Engineering and Formal Methods},
   Pages = {204--220},
   Year = {2011}
}

Référence EndNote [help]

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