A. A. jun. Letichevskii

Available identifiers

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

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