Skip to main navigation Skip to search Skip to main content

Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

  • Nyman, Ulrik (PI)
  • Nielsen, Brian (Other)
  • Thi Xuan Phan, Linh (Project Participant)
  • Lee, Insup (Project Participant)
  • Legay, Axel Bernard E (Project Participant)
  • Boudjadar, Jalil (Contact)
  • Kim, Jin Hyun (Contact)

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases