The following pages link to A. S. Kossatchev (Q763528):
Displayed 16 items.
- Parallel computations on a graph (Q300314) (← links)
- Specification completion for IOCO (Q763529) (← links)
- Formalization of test experiments (Q927449) (← links)
- The use of contract specifications for representing requirements and for functional testing of hardware models (Q927452) (← links)
- Systems with priorities: conformance, testing, and composition (Q1040326) (← links)
- (Q1429041) (redirect page) (← links)
- Test generation for compilers and other formal text processors (Q1429042) (← links)
- Interaction semantics with refusals, divergence, and destruction (Q1758683) (← links)
- Formalization of a test experiment. II (Q2017757) (← links)
- Agreement between conformance and composition (Q2017761) (← links)
- Perfect sets of paths in the full graph of SDN switches (Q2064402) (← links)
- Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language (Q2387888) (← links)
- Complete open-state testing of limitedly nondeterministic systems (Q2654997) (← links)
- (Q3043836) (← links)
- (Q4413702) (← links)
- (Q4808823) (← links)