Protocol Dialects as Formal Patterns.

D. Galán Víctor García Santiago Escobar Catherine A. Meadows José Meseguer

Published in: ESORICS (2) (2023)

Keyphrases

formal analysis
pattern mining
design patterns
pattern discovery
interesting patterns
real time
databases
data mining techniques