scientific article; zbMATH DE number 1980920

zbMATH Open1023.03533MaRDI QIDQ4428294FDOQ4428294

Authors: Claudio Castellini, Alan Smaill 

Publication date: 15 September 2003

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

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

Recommendations

• Automated Deduction – CADE-20
• On feature interaction in telecommunication systems
• A new approach in feature interaction testing
• scientific article; zbMATH DE number 1630110
• Feature interaction detection by pairwise analysis of LTL properties -- A case study

Mathematics Subject Classification ID

Communication networks in operations research (90B18) Temporal logic (03B44) Logic in computer science (03B70) Network design and communication in computer systems (68M10)

Cited In (1)

• Automated Deduction – CADE-20

Uses Software

• Lambda-Clam

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 Q4428294)