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

Use of Runtime Enforcement for the Test of Real-time Systems.

Louis-Marie GivelMatthias BrunCamille ConstantSébastien FaucouOlivier H. Roux
Published in: HPCC/CSS/ICESS (2015)
Keyphrases