| Publication | Date of Publication | Type |
|---|
TESTING USING X-MACHINE TRANSLATIONS
Words, Semigroups, and Transductions | 2022-12-06 | Paper |
Formal black box testing for partially specified deterministic finite state machines
| 2011-01-28 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2009-05-15 | Paper |
Aspects of Molecular Computing
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science | 2008-09-16 | Paper |
scientific article; zbMATH DE number 5125560 (Why is no real title available?)
| 2007-02-13 | Paper |
scientific article; zbMATH DE number 2182430 (Why is no real title available?)
| 2005-06-23 | Paper |
scientific article; zbMATH DE number 2050930 (Why is no real title available?)
| 2004-03-07 | Paper |
scientific article; zbMATH DE number 2040799 (Why is no real title available?)
| 2004-02-11 | Paper |
Testing (stream) X-machines
Applicable Algebra in Engineering, Communication and Computing | 2003-11-17 | Paper |
PX systems = P systems + X machines
Natural Computing | 2003-10-15 | Paper |
scientific article; zbMATH DE number 1951574 (Why is no real title available?)
| 2003-07-21 | Paper |
What are X-machines?
Formal Aspects of Computing | 2003-07-15 | Paper |
Generating test sets from non-deterministic stream X-machines
Formal Aspects of Computing | 2003-06-26 | Paper |
scientific article; zbMATH DE number 1836407 (Why is no real title available?)
| 2003-05-12 | Paper |
scientific article; zbMATH DE number 1900817 (Why is no real title available?)
| 2003-04-27 | Paper |
Testing conditions for communicating stream \(X\)-machine systems
Formal Aspects of Computing | 2002-12-01 | Paper |
scientific article; zbMATH DE number 1735632 (Why is no real title available?)
| 2002-11-14 | Paper |
An integrated refinement and testing method for stream X-machines
Applicable Algebra in Engineering, Communication and Computing | 2002-07-29 | Paper |
scientific article; zbMATH DE number 1543314 (Why is no real title available?)
| 2001-02-27 | Paper |
scientific article; zbMATH DE number 1200754 (Why is no real title available?)
| 1998-09-21 | Paper |
A method for refining and testing generalised machine specifications
International Journal of Computer Mathematics | 1998-08-09 | Paper |
scientific article; zbMATH DE number 994856 (Why is no real title available?)
| 1997-08-07 | Paper |
An integration testing method that is proved to find all faults
International Journal of Computer Mathematics | 1997-06-16 | Paper |
scientific article; zbMATH DE number 4110066 (Why is no real title available?)
| 1988-01-01 | Paper |
