A. B. Godlevskij

From MaRDI portal
Person:1364091

Available identifiers

zbMath Open godlevsky.a-bMaRDI QIDQ1364091

List of research outcomes





PublicationDate of PublicationType
Cyber-physical systems: the linguistic aspect2020-12-14Paper
Properties of a predicate transformer of the VRS system2014-06-05Paper
Predicate transformers in the context of symbolic modeling of transition systems2014-06-05Paper
Using linear models in optimizing parameters of time-triggered protocols2007-07-05Paper
An algorithm for checking the time consistency of message sequence charts2003-09-09Paper
https://portal.mardi4nfdi.de/entity/Q45295702002-05-05Paper
https://portal.mardi4nfdi.de/entity/Q42341741999-11-03Paper
Parallel dynamic semantics of sequential programs with speculative and incremental computation1998-05-25Paper
Program reduction allowing for additional specifications1996-05-20Paper
Transformation synthesis of efficient algorithms with auxiliary specifications1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40903141975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40555831974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56846531973-01-01Paper

Research outcomes over time

This page was built for person: A. B. Godlevskij

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