R. Hall, "Specification Modeling and Validation Applied to Network Security Gateways," Proceedings Fifth IEEE International Symposium on Requirements Engineering(RE), Toronto, Canada, 2001, pp. 0289.
doi:10.1109/ISRE.2001.948589
keywords:{},
url:doi.ieeecomputersociety.org/10.1109/ISRE.2001.948589