The following pages link to Alexander Romanovsky (Q2065544):
Displaying 16 items.
- A refinement-based development of a distributed signalling system (Q2065545) (← links)
- (Q2764015) (← links)
- (Q2764018) (← links)
- (Q2771790) (← links)
- Patterns for Refinement Automation (Q3066119) (← links)
- (Q4246341) (← links)
- (Q4413728) (← links)
- (Q4413747) (← links)
- (Q4413924) (← links)
- (Q4435373) (← links)
- (Q4449608) (← links)
- (Q4738868) (← links)
- On Structuring Cooperative and Competitive Concurrent Systems (Q4950859) (← links)
- PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems (Q5126087) (← links)
- Synthesis of Processor Instruction Sets from High-Level ISA Specifications (Q5268180) (← links)
- A refinement-based formal development of cyber-physical railway signalling systems (Q6610255) (← links)
