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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=299077
