High-assurance timing analysis for a high-assurance real-time operating system

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 27, 2017
Source ID
10.1007/s11241-017-9286-3

Entities

People

  • Felix Kam
  • Gernot Heiser
  • Thomas Sewell

Organizations

  • Defense Advanced Research Projects Agency