Testing timed systems modeled by Stream X-machines

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

ISSN: 1619-1366,  1619-1374

Datum der Publikation: 2011

Ausgabe: 10

Nummer: 2

Seiten: 201-217

Art: Artikel

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