I. B. Bourdonov
From MaRDI portal
Person:763527
Available identifiers
zbMath Open bourdonov.igor-bMaRDI QIDQ763527
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Parallel computations on a graph | 2016-06-27 | Paper |
| Formalization of a test experiment. II | 2015-03-23 | Paper |
| Agreement between conformance and composition | 2015-03-23 | Paper |
| Interaction semantics with refusals, divergence, and destruction | 2012-11-16 | Paper |
| Specification completion for IOCO | 2012-03-12 | Paper |
| Complete open-state testing of limitedly nondeterministic systems | 2010-01-22 | Paper |
| Systems with priorities: conformance, testing, and composition | 2009-11-24 | Paper |
| Formalization of test experiments | 2008-06-09 | Paper |
| Traversal of an unknown directed graph by a finite robot | 2005-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808823 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043836 | 2004-08-06 | Paper |
Research outcomes over time
This page was built for person: I. B. Bourdonov
