V. S. Peschanenko

From MaRDI portal
Person:895073

Available identifiers

zbMath Open peschanenko.v-sMaRDI QIDQ895073

List of research outcomes





PublicationDate of PublicationType
Insertion semantics of VHDL as electronic design languge2022-12-09Paper
Fuzz testing technique and its use in cybersecurity tasks2022-04-27Paper
Modeling method for development of digital system algorithms based on programmable logic devices2020-12-14Paper
Generating symbolic traces in the insertion modeling system2015-11-26Paper
Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling2015-03-18Paper
Properties of a predicate transformer of the VRS system2014-06-05Paper

Research outcomes over time

This page was built for person: V. S. Peschanenko

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:895073&oldid=6772053"
Powered by MediaWiki