Formal Methods for Mobility Standards (1999)

by D Amyot, R Andrade, L Logrippo, J Sincennes, Z Yi
Venue:In the IEEE 1999 Emerging Technologies Symposium: Wireless Communications 147 Interaction Filtering and Detection with Use Case Maps and LOTOS and Systems proceedings, Richardson (TX