Sign in

Run-Time Enforcement of Non-functional Program Properties on MPSoCs.

Jürgen TeichPouya MahmoodyBehnaz PourmohseniSascha RoloffWolfgang Schröder-PreikschatStefan Wildermann
Published in: A Journey of Embedded and Cyber-Physical Systems (2021)
Keyphrases
  • desirable properties
  • test cases
  • structural properties
  • genetic algorithm
  • three dimensional
  • high level
  • multi agent systems
  • relational databases
  • topological properties
  • program execution
  • functional analysis