Automatic Repair and Deadlock Detection for Parameterized Systems.

Swen Jacobs Mouhammad Sakr Marcus Völp

Published in: FMCAD (2022)

Keyphrases

deadlock detection
distributed systems
distributed database systems
computer systems
complex systems
data mining
information systems
data structure
data sources
data management
mobile phone
data processing
distributed databases