Mike Holcombe

Available identifiers

zbMath Open holcombe.mikeMaRDI QIDQ204584

List of research outcomes

Publication	Date of Publication	Type
TESTING USING X-MACHINE TRANSLATIONS	2022-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q3070874	2011-01-28	Paper
Membrane Computing	2009-05-15	Paper
Aspects of Molecular Computing	2009-05-14	Paper
Testing data processing-oriented systems from stream X-machine models	2008-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3422331	2007-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q3022297	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4453204	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4451884	2004-02-11	Paper
Testing (stream) X-machines	2003-11-17	Paper
PX systems = P systems + X machines	2003-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4413816	2003-07-21	Paper
What are X-machines?	2003-07-15	Paper
Generating test sets from non-deterministic stream X-machines	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4782092	2003-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4803449	2003-04-27	Paper
Testing conditions for communicating stream \(X\)-machine systems	2002-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4329016	2002-11-14	Paper
An integrated refinement and testing method for stream X-machines	2002-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4520784	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4210112	1998-09-21	Paper
A method for refining and testing generalised machine specifications	1998-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q3126729	1997-08-07	Paper
An integration testing method that is proved to find all faults	1997-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q3833594	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mike Holcombe