The following pages link to A. B. Godlevskij (Q1364091):
Displayed 13 items.
- Parallel dynamic semantics of sequential programs with speculative and incremental computation (Q1364092) (← links)
- An algorithm for checking the time consistency of message sequence charts (Q1407080) (← links)
- Program reduction allowing for additional specifications (Q1910970) (← links)
- Cyber-physical systems: the linguistic aspect (Q2215869) (← links)
- Using linear models in optimizing parameters of time-triggered protocols (Q2371697) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- Predicate transformers in the context of symbolic modeling of transition systems (Q2452757) (← links)
- Transformation synthesis of efficient algorithms with auxiliary specifications (Q3787464) (← links)
- (Q4055583) (← links)
- (Q4090314) (← links)
- (Q4234174) (← links)
- (Q4529570) (← links)
- (Q5684653) (← links)