TY - CONF
TI - Specification Modeling and Validation Applied to Network Security Gateways
T2 - Proceedings Fifth IEEE International Symposium on Requirements Engineering(RE)
SP - 0289
EP - 0289
AU - R. Hall
PY - 2001
DO - 10.1109/ISRE.2001.948589
JO - Proceedings Fifth IEEE International Symposium on Requirements Engineering(RE)
SN - 0-7695-1125-2
VO - 10.1109/ISRE.2001.948589
VL - 00
JA - Proceedings Fifth IEEE International Symposium on Requirements Engineering(RE)
Y1 - August 2001
ER -