Execution of Partial State Machine Models.

Mojtaba Bagherzadeh Nafiseh Kahani Karim Jahed Juergen Dingel

Published in: IEEE Trans. Software Eng. (2022)

Keyphrases

state machine
statistical models
finite state machines
information systems
state machines
neural network
database systems
model selection
statistical model
databases
case study
probabilistic model
load balancing
computational models