Browsing University of Waterloo by Author "Peng, Yuan"
Now showing items 1-1 of 1
-
Mapping BoxTalk to Promela Model
Peng, Yuan (University of Waterloo, 2007-06-13)A telecommunication feature is an optional or incremental unit of functionality, such as call display (CD) and call forwarding (CF). A feature interaction occurs when, in the presence of other features, the actual behavior ...