Integrated modeling tool for indexing and analyzing state machine trace.

Simon Delisle Naser Ezzati-Jivan Michel R. Dagenais

Published in: ISNCC (2021)

Keyphrases

state machine
modeling tool
state machines
fault tolerant
finite state machines
database
indexing method
information retrieval
text retrieval
video indexing
simulation platform
data sets
case study
query language
distributed systems
indexing methods
databases