The following pages link to Mike Holcombe (Q204584):
Displayed 25 items.
- Testing data processing-oriented systems from stream X-machine models (Q944368) (← links)
- PX systems = P systems + X machines (Q1410757) (← links)
- Testing (stream) X-machines (Q1413646) (← links)
- An integrated refinement and testing method for stream X-machines (Q1606072) (← links)
- Testing conditions for communicating stream \(X\)-machine systems (Q1849557) (← links)
- (Q3022297) (← links)
- (Q3070874) (← links)
- (Q3126729) (← links)
- (Q3422331) (← links)
- (Q3833594) (← links)
- A method for refining and testing generalised machine specifications (Q3838255) (← links)
- (Q4210112) (← links)
- (Q4329016) (← links)
- An integration testing method that is proved to find all faults (Q4340156) (← links)
- (Q4413816) (← links)
- (Q4451884) (← links)
- (Q4453204) (← links)
- (Q4520784) (← links)
- (Q4782092) (← links)
- (Q4803449) (← links)
- TESTING USING X-MACHINE TRANSLATIONS (Q5053735) (← links)
- Aspects of Molecular Computing (Q5901824) (← links)
- Membrane Computing (Q5901892) (← links)
- What are X-machines? (Q5944211) (← links)
- Generating test sets from non-deterministic stream X-machines (Q5944213) (← links)