FalconeFMR06

Ylič Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Test Calculus Framework Applied to Network Security Policies.. In FATES/RV'06, Pages 55-69, Seattle, USA, July 2006.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@InProceedings{FalconeFMR06,
   Author = {Falcone, Ylič and Fernandez, Jean-Claude and Mounier, Laurent and Richier, Jean-Luc},
   Title = {{A Test Calculus Framework Applied to Network Security Policies.}},
   BookTitle = {FATES/RV'06},
   Pages = {55--69},
   Address = {Seattle, USA},
   Month = {July},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)