TY  - RPRT
TI  - Bringing SysML Models to Life: Introduction to Behavioral Semantics – A Case Study For SysML v2
AU  - Karban, Robert
PY  - 2019
UR  - https://ntrs.nasa.gov/citations/20210016618
ID  - 20210016618
ER  -