مرکز منطقه ای اطلاع رساني علوم و فناوري - Formal testing from timed finite state machines

Title of article :

Formal testing from timed finite state machines

Author/Authors :

Mercedes G. Merayo، نويسنده , , Manuel Nunez Nickel، نويسنده , , Ismael Rodr?guez، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2008

Pages :

From page :

432

To page :

460

Keywords :

Conformance testing , formal methods , Timed systems

Journal title :

Computer Networks

Serial Year :

2008

Journal title :

Computer Networks

Record number :

300151

Link To Document :