Title of article
Probabilistic fuzzy timed protocol verification
Author/Authors
Chung-Ming Huang، نويسنده , , Jenq-Muh Hsu، نويسنده , , Shiun-Wei Lee، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
19
From page
407
To page
425
Keywords
Protocol engineering , Timed protocol verification , Estelle , Probabilistic verification
Journal title
Computer Communications
Serial Year
1996
Journal title
Computer Communications
Record number
308578
Link To Document