• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Testing real-time embedded software using runtime enforcement.

Louis-Marie GivelJean-Luc BéchennecMatthias BrunSébastien FaucouOlivier H. Roux
Published in: SIES (2016)
Keyphrases
  • embedded software
  • real time
  • embedded systems
  • development projects
  • software architecture
  • low cost
  • artificial intelligence
  • multi agent
  • access control
  • dynamic environments
  • sequence diagrams