A. S. Kossatchev

Available identifiers

Publication	Date of Publication	Type
Perfect sets of paths in the full graph of SDN switches	2022-01-05	Paper
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
The use of contract specifications for representing requirements and for functional testing of hardware models	2008-06-09	Paper
Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language	2005-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4808823	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3043836	2004-08-06	Paper
Test generation for compilers and other formal text processors	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4413702	2003-07-21	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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