Browsing Theses by Subject "Automated translation"
Now showing items 1-1 of 1
-
Fully Automated Translation of BoxTalk to Promela
(University of Waterloo, 2011-08-26)Telecommunication systems are structured to enable incremental growth, so that new telecommunication features can be added to the set of existing features. With the addition of more features, certain existing features may ...