A. V. Khoroshilov

From MaRDI portal
Person:927463

Available identifiers

zbMath Open khoroshilov.a-vMaRDI QIDQ927463

List of research outcomes





PublicationDate of PublicationType
Verification of compliance for multilevel models in individual trace semantics2022-01-05Paper
Region analysis for deductive verification of C programs2020-12-16Paper
Research of fields of pressure in problems of aerodynamics of conical bodies at presence on their surface of an intensive surface injection2011-02-22Paper
Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols2008-06-09Paper

Research outcomes over time

This page was built for person: A. V. Khoroshilov

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