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.

@inproceedings{KleinPR97,
  title = {Feature Specification and Refinement with State Transition Diagrams},
  author = {Cornel Klein and Christian Prehofer and Bernhard Rumpe},
  year = {1997},
  tags = {feature diagrams, refinement},
  researchr = {https://researchr.org/publication/KleinPR97},
  cites = {0},
  citedby = {0},
  pages = {284-297},
  booktitle = {Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada},
  editor = {Petre Dini and Raouf Boutaba and Luigi Logrippo},
  publisher = {IOS Press},
  isbn = {90-5199-347-1},
}