Login / Signup
Memory management of safety-critical hard real-time systems designed in SystemJ.
Avinash Malik
HeeJong Park
Muhammad Nadeem
Zoran Salcic
Published in:
Microprocess. Microsystems (2019)
Keyphrases
</>
memory management
safety critical
operating system
fault tolerant
formal methods
safety analysis
embedded systems
databases
hardware implementation
agent architecture
real time
e learning
management system
data warehouse