A. A. jun. Letichevskii

Available identifiers

zbMath Open letychivskyi.oleksandr-oleksandrowychMaRDI QIDQ1406344

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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