Testing timed systems modeled by Stream X-machines

  1. Merayo, M.G.
  2. Núñez, M.
  3. Hierons, R.M.
Aldizkaria:
Software and Systems Modeling

ISSN: 1619-1366,  1619-1374

Argitalpen urtea: 2011

Alea: 10

Zenbakia: 2

Orrialdeak: 201-217

Mota: Artikulua

DOI: 10.1007/S10270-009-0126-3 GOOGLE SCHOLAR
Datuen iturria: Scopus