Login / Signup
High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs.
Vladimir Estivill-Castro
René Hexel
Morgan McColl
Published in:
ReConFig (2018)
Keyphrases
</>
finite state machines
real time systems
high level
reactive systems
low level
digital circuits
embedded systems
finite state automata
real time
software engineering
query processing
computational models
mission critical