CA:FFM06

Y. Falcone, J.C. Fernandez, L. Mounier, J.L Richier. A Test Calculus Framework Applied to Network Security Policies. In Formal Approaches to Testing and Runtime Verification (FATES/RV'06), LNCS 4262, Pages 55-69, Seattle, USA, August 2006.

Contact

Ylies Falcone
Jean-Luc Richier

BibTex Reference

@InProceedings{CA:FFM06,
   Author = {Falcone, Y. and Fernandez, J.C. and Mounier, L. and Richier, J.L},
   Title = {A Test Calculus Framework Applied to Network Security Policies},
   BookTitle = {Formal Approaches to Testing and Runtime Verification (FATES/RV'06), LNCS 4262},
   Pages = {55--69},
   Address = {Seattle, USA},
   Month = {August},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)