ModelPlex: verified runtime validation of verified cyber-physical system models

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 18, 2016
Source ID
10.1007/s10703-016-0241-z

Entities

People

  • AndrĂ© Platzer
  • Stefan Mitsch

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation

Tags

Technology Areas

  • Cyber