A. S. Kossatchev

MaRDI QIDQ763528zbMATH OpenDBLPWikidataFDO

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
Perfect sets of paths in the full graph of SDN switches Programming and Computer Software	2022-01-05	Paper
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
The use of contract specifications for representing requirements and for functional testing of hardware models Programming and Computer Software	2008-06-09	Paper
Formalization of test experiments Programming and Computer Software	2008-06-09	Paper
Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language 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
Test generation for compilers and other formal text processors Programming and Computer Software	2004-03-29	Paper
scientific article; zbMATH DE number 1951208 (Why is no real title available?)	2003-07-21	Paper

Research outcomes over time

This page was built for person: A. S. Kossatchev