dblp.uni-trier.dewww.uni-trier.de

Nicolas Stouls

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EENicolas Stouls, Marie-Laure Potet: Security Policy Enforcement Through Refinement Process. B 2007: 216-231
2005
2EEDidier Bert, Marie-Laure Potet, Nicolas Stouls: GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. ZB 2005: 299-318
2004
1 Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin: Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. Technique et Science Informatiques 23(7): 879-903 (2004)

Coauthor Index

1Frédéric Badeau [1]
2Didier Bert [1] [2]
3Sylvain Boulmé [1]
4Christophe Métayer [1]
5Marie-Laure Potet [1] [2] [3]
6Laurent Voisin [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)