Mike Holcombe

From MaRDI portal
Person:204584

Available identifiers

zbMath Open holcombe.mikeMaRDI QIDQ204584

List of research outcomes





PublicationDate of PublicationType
TESTING USING X-MACHINE TRANSLATIONS2022-12-06Paper
Formal black box testing for partially specified deterministic finite state machines2011-01-28Paper
Membrane Computing2009-05-15Paper
Aspects of Molecular Computing2009-05-14Paper
Testing data processing-oriented systems from stream X-machine models2008-09-16Paper
https://portal.mardi4nfdi.de/entity/Q34223312007-02-13Paper
https://portal.mardi4nfdi.de/entity/Q30222972005-06-23Paper
https://portal.mardi4nfdi.de/entity/Q44532042004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44518842004-02-11Paper
Testing (stream) X-machines2003-11-17Paper
PX systems = P systems + X machines2003-10-15Paper
https://portal.mardi4nfdi.de/entity/Q44138162003-07-21Paper
What are X-machines?2003-07-15Paper
Generating test sets from non-deterministic stream X-machines2003-06-26Paper
https://portal.mardi4nfdi.de/entity/Q47820922003-05-12Paper
https://portal.mardi4nfdi.de/entity/Q48034492003-04-27Paper
Testing conditions for communicating stream \(X\)-machine systems2002-12-01Paper
https://portal.mardi4nfdi.de/entity/Q43290162002-11-14Paper
An integrated refinement and testing method for stream X-machines2002-07-29Paper
https://portal.mardi4nfdi.de/entity/Q45207842001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q42101121998-09-21Paper
A method for refining and testing generalised machine specifications1998-08-09Paper
https://portal.mardi4nfdi.de/entity/Q31267291997-08-07Paper
An integration testing method that is proved to find all faults1997-06-16Paper
https://portal.mardi4nfdi.de/entity/Q38335941988-01-01Paper

Research outcomes over time

This page was built for person: Mike Holcombe