Title of article :
Feature interaction detection: a LOTOS-based approach
Author/Authors :
D. Q. Fu، نويسنده , , P. Harnois، نويسنده , , L. Logrippo، نويسنده , , J. Sincennes، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Pages :
16
From page :
433
To page :
448
Keywords :
LOTOS , Telephony systems , Formal techniques , Feature interaction detection , formal validation
Journal title :
Computer Networks
Serial Year :
2000
Journal title :
Computer Networks
Record number :
298789
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=298789
