scientific article; zbMATH DE number 2088510

MaRDI QIDQ3045003zbMATH OpenFDO

Authors Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2343/23430641.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Network design and communication in computer systems (68M10)

Recommendations

• On feature interaction in telecommunication systems
• scientific article; zbMATH DE number 1949616
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• scientific article; zbMATH DE number 2100584
• A new approach in feature interaction testing

Cited in

(9)

• scientific article; zbMATH DE number 1744963 (Why is no real title available?)
• scientific article; zbMATH DE number 1949616 (Why is no real title available?)
• Test generation for interaction detection in feature-rich communication systems
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• scientific article; zbMATH DE number 2100583 (Why is no real title available?)
• Using semi-formal methods for detecting interactions among smart homes policies
• scientific article; zbMATH DE number 2100587 (Why is no real title available?)
• scientific article; zbMATH DE number 1630110 (Why is no real title available?)
• Objects, Agents, and Features

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045003)