C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines.
Haibo Zeng
Marco Di Natale
Published in:
ECRTS (2012)
Keyphrases
</>
finite state machines
statistical analysis
finite state automata
quantitative analysis
databases
information systems
case study
keywords
relational databases
domain knowledge
model checking
transfer learning