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
29
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