Title of article :
Model checking active networks with SPIN
Author/Authors :
Mar?a del Mar Gallardo، نويسنده , , Jes?s Mart?nez، نويسنده , , Pedro Merino، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Pages :
14
From page :
609
To page :
622
Keywords :
Active Networks , Formal specification , Testing , model checking , spin , simulation
Journal title :
Computer Communications
Serial Year :
2005
Journal title :
Computer Communications
Record number :
310044
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=310044
بازگشت