H. Marchand, J. Dubreil, T. Jéron. Automatic Test Generation for Security Property. Delivrable, Politess Project, 2008.
Hervé Marchand http://www.irisa.fr/prive/hmarchan
Jérémy Dubreil
Thierry Jéron http://www.irisa.fr/prive/jeron
@Misc{politess-1,
Author = {Marchand, H. and Dubreil, J. and Jéron, T.},
Title = {Automatic Test Generation for Security Property},
Howpublished = {Delivrable, Politess Project},
Year = {2008}
}
Get EndNote Reference (.ref)
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |