Cited By
View all- Atlee JWieringa R(2006)RE 05IEEE Software10.1109/MS.2006.7923:3(16-18)Online publication date: 1-May-2006
- Hall R(2001)Specification Modeling and Validation Applied to a Family of Network Security ProductsProceedings of the 16th IEEE international conference on Automated software engineering10.5555/872023.872554Online publication date: 26-Nov-2001
- Hall R(2001)Specification modeling and validation applied to a family of network security productsProceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)10.1109/ASE.2001.989792(71-80)Online publication date: 2001
- Show More Cited By