Login / Signup
Time-Triggered Runtime Verification of Component-Based Multi-core Systems.
Samaneh Navabpour
Borzoo Bonakdarpour
Sebastian Fischmeister
Published in:
RV (2015)
Keyphrases
</>
multi core systems
multi core processors
shared memory
address space
xpath queries