Formal testing from timed finite state machines

  1. Merayo, M.G.
  2. Núñez, M.
  3. Rodríguez, I.
Aldizkaria:
Computer Networks

ISSN: 1389-1286

Argitalpen urtea: 2008

Alea: 52

Zenbakia: 2

Orrialdeak: 432-460

Mota: Artikulua

DOI: 10.1016/J.COMNET.2007.10.002 GOOGLE SCHOLAR
Datuen iturria: Scopus