V. P. Kotlyarov

Available identifiers

zbMath Open kotlyarov.v-pMaRDI QIDQ557466

List of research outcomes

Publication	Date of Publication	Type
Systems specification by basic protocols	2006-10-20	Paper
An input language based on extended message sequence charts and used for test specification	2005-06-30	Paper
Semantics of timed message sequence charts	2003-09-09	Paper
Features of the exact solution of a system of equations of movement of an object at the large corners of attack for estimation of approximation methods of solution	2001-12-12	Paper

Research outcomes over time

This page was built for person: V. P. Kotlyarov