Validating Architectural Feature Descriptions using LOTOS

Kenneth J. Turner. Validating Architectural Feature Descriptions using LOTOS. In Kristofer Kimbler, Wiet Bouma, editors, Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden. pages 247-261, IOS Press, 1998.

Abstract

Abstract is missing.