Feature Specification and Refinement with State Transition Diagrams

Cornel Klein, Christian Prehofer, Bernhard Rumpe. Feature Specification and Refinement with State Transition Diagrams. In Petre Dini, Raouf Boutaba, Luigi Logrippo, editors, Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada. pages 284-297, IOS Press, 1997.

Abstract

Abstract is missing.