Multi-scale verification of distributed synchronisation.

Paul Gainer Sven Linker Clare Dixon Ullrich Hustadt Michael Fisher

Published in: Formal Methods Syst. Des. (2020)

Keyphrases

multiscale
distributed systems
distributed environment
fault tolerant
computer networks
multi agent
cooperative
digital libraries
wavelet transform
distributed learning
real time
communication overhead
model checking
keypoints
image segmentation
website
artificial intelligence