Alexei Iliasov

Available identifiers

zbMath Open iliasov.alexeiMaRDI QIDQ2065542

List of research outcomes

Publication	Date of Publication	Type
A refinement-based formal development of cyber-physical railway signalling systems	2024-09-25	Paper
A refinement-based development of a distributed signalling system	2022-01-11	Paper
Synthesis of Processor Instruction Sets from High-Level ISA Specifications	2017-06-20	Paper
A proof-based method for modelling timed systems	2015-12-03	Paper
Patterns for refinement automation	2011-01-08	Paper
A method and tool for design of multi-agent systems	2009-04-03	Paper

Research outcomes over time

This page was built for person: Alexei Iliasov