Testing (stream) X-machines

DOI10.1007/S00200-003-0132-6zbMath1023.68023OpenAlexW2154108373MaRDI QIDQ1413646

Marian Gheorghe, Florentin Ipate, Mike Holcombe

Publication date: 17 November 2003

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-003-0132-6

zbMATH Keywords

testingformal specificationstream X-machinesgeneral X-machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Testing (stream) X-machines