Title of article
Formal methods for communication services: meeting the industry expectations
Author/Authors
F. Dietrich، نويسنده , , J. -P. Hubaux، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
22
From page
99
To page
120
Keywords
Telecommunications industry , Verification , validation , formal methods , Survey , Communication services , Intelligent Network , TINA , Internet , Feature interactions
Journal title
Computer Networks
Serial Year
2002
Journal title
Computer Networks
Record number
299077
Link To Document