scientific article; zbMATH DE number 1980920

MaRDI QIDQ4428294zbMATH OpenFDO

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

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)

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

Cited in

(1)

• Automated Deduction – CADE-20

Describes a project that uses

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)