Sign in

Time-Triggered Runtime Verification of Component-Based Multi-core Systems.

Samaneh NavabpourBorzoo BonakdarpourSebastian Fischmeister
Published in: RV (2015)
Keyphrases
  • multi core systems
  • multi core processors
  • shared memory
  • address space
  • xpath queries