The following pages link to Alexei Iliasov (Q2065542):
Displaying 5 items.
- A refinement-based development of a distributed signalling system (Q2065545) (← links)
- Patterns for Refinement Automation (Q3066119) (← links)
- A Proof-Based Method for Modelling Timed Systems (Q3455067) (← links)
- (Q3619260) (← links)
- Synthesis of Processor Instruction Sets from High-Level ISA Specifications (Q5268180) (← links)
