Compositional verification of priority systems using sharp bisimulation.

Luca Di Stefano Frédéric Lang

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

Keyphrases

management system
database
formal methods
multiscale
learning environment
information technology
relational databases
intelligent systems
building blocks
computing systems
multimodal biometrics