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

Using run-time checking to provide safety and progress for distributed cyber-physical systems.

Stanley BakFardin Abdi Taghi AbadZhenqi HuangMarco Caccamo
Published in: RTCSA (2013)
Keyphrases
  • real time
  • computer systems
  • lightweight
  • social network analysis
  • computer networks
  • cyber physical systems
  • cyber physical