Testing timed systems modeled by Stream X-machines

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

ISSN: 1619-1366,  1619-1374

Year of publication: 2011

Volume: 10

Issue: 2

Pages: 201-217

Type: Article

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