V. S. Peschanenko

Available identifiers

zbMath Open peschanenko.v-sMaRDI QIDQ895073

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
Generating symbolic traces in the insertion modeling system	2015-11-26	Paper
Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling	2015-03-18	Paper
Properties of a predicate transformer of the VRS system	2014-06-05	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: V. S. Peschanenko