The following pages link to Objects, Agents, and Features (Q5713989):
Displaying 6 items.
- Feature interaction detection by pairwise analysis of LTL properties -- A case study (Q853722) (← links)
- Test generation for interaction detection in feature-rich communication systems (Q856934) (← links)
- A template-based approach for the generation of abstractable and reducible models of featured networks (Q856936) (← links)
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- Using semi-formal methods for detecting interactions among smart homes policies (Q997225) (← links)
- (Q3431104) (← links)