research
∙
11/11/2021
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems
Distributed computing often gives rise to complex concurrent and interac...
share
research
∙
08/23/2021
SafeCap: from formal verification of railway interlocking to its certification
The increasing complexity of modern interlocking poses a major challenge...
research
∙
03/17/2019
