A. A. jun. Letichevskii

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
Insertion semantics of VHDL as electronic design languge Cybernetics and Systems Analysis	2022-12-09	Paper
Fuzz testing technique and its use in cybersecurity tasks Cybernetics and Systems Analysis	2022-04-27	Paper
Modeling method for development of digital system algorithms based on programmable logic devices Cybernetics and Systems Analysis	2020-12-14	Paper
Insertion modeling and its applications Computer Science Journal of Moldova	2018-07-03	Paper
Cyber-physical systems Cybernetics and Systems Analysis	2018-02-23	Paper
Generating symbolic traces in the insertion modeling system Cybernetics and Systems Analysis	2015-11-26	Paper
Properties of a predicate transformer of the VRS system Cybernetics and Systems Analysis	2014-06-05	Paper
Systems specification by basic protocols Cybernetics and Systems Analysis	2006-10-20	Paper
Basic protocols, message sequence charts, and the verification of requirements specifications Computer Networks	2005-11-07	Paper
Insertion programming Cybernetics and Systems Analysis	2004-03-29	Paper
Semantics of timed message sequence charts Cybernetics and Systems Analysis	2003-09-09	Paper

Research outcomes over time

This page was built for person: A. A. jun. Letichevskii