I. B. Bourdonov

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 Programming and Computer Software	2016-06-27	Paper
Formalization of a test experiment. II Programming and Computer Software	2015-03-23	Paper
Agreement between conformance and composition Programming and Computer Software	2015-03-23	Paper
Interaction semantics with refusals, divergence, and destruction Programming and Computer Software	2012-11-16	Paper
Specification completion for IOCO Programming and Computer Software	2012-03-12	Paper
Complete open-state testing of limitedly nondeterministic systems Programming and Computer Software	2010-01-22	Paper
Systems with priorities: conformance, testing, and composition Programming and Computer Software	2009-11-24	Paper
Formalization of test experiments Programming and Computer Software	2008-06-09	Paper
Traversal of an unknown directed graph by a finite robot Programming and Computer Software	2005-09-05	Paper
scientific article; zbMATH DE number 2090131 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2084351 (Why is no real title available?)	2004-08-06	Paper

Research outcomes over time

This page was built for person: I. B. Bourdonov