Extending EFSMs to specify and test timed systems with action durations and time-outs

  1. Merayo, M.G.
  2. Núñez, M.
  3. Rodríguez, I.
Aldizkaria:
IEEE Transactions on Computers

ISSN: 0018-9340

Argitalpen urtea: 2008

Alea: 57

Zenbakia: 6

Orrialdeak: 835-848

Mota: Artikulua

DOI: 10.1109/TC.2008.15 GOOGLE SCHOLAR
Datuen iturria: Scopus