Design and Analysis of a Logless Dynamic Reconfiguration Protocol.

William Schultz Siyuan Zhou Ian Dardik Stavros Tripakis

Published in: OPODIS (2021)

Keyphrases

dynamic reconfiguration
lightweight
neural network
case study
user interface
general purpose
statistical analysis
software architecture
formal analysis
multi agent systems
image analysis