Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 15, 2021
Source ID
10.1109/syscon48628.2021.9447075

Entities

People

  • Handley Holly A. H.
  • Jingwei Huang
  • Nadew Kibret
  • Trisha Ahmed
  • Wael Khallouli
  • William Edmonson

Organizations

  • Defense Advanced Research Projects Agency