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