Reliable by Construction Distributed Systems: a Toolchain for Development and Testing

Lead Research Organisation: University of Kent
Department Name: Sch of Computing

Abstract

Pending

Publications

10 25 50

Studentship Projects

Project Reference Relationship Related To Start End Student Name
EP/T518141/1 01/10/2020 30/09/2025
2619407 Studentship EP/T518141/1 01/10/2021 30/09/2024 Jonah Pears