Login / Signup
Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment.
Marcin Szpyrka
Jaroslaw Baniewicz
Andrei Karatkevich
Published in:
IEEE Access (2022)
Keyphrases
</>
real time systems
single processor
real time
multi processor
parallel processors
embedded systems
distributed systems
distributed memory
parallel architectures
state space
general purpose
data management
access control
programming environment