scientific article; zbMATH DE number 2088510

zbMATH Open1047.68747MaRDI QIDQ3045003FDOQ3045003

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Test generation for interaction detection in feature-rich communication systems
• Title not available (Why is that?)
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• Title not available (Why is that?)
• Using semi-formal methods for detecting interactions among smart homes policies
• Title not available (Why is that?)
• 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)