TY  - GEN
AU  - Doerr, Jeremy
AU  - Bock, Conrad
AU  - Barbau, Raphael
C2  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2024-11-08 05:11:00
DO  - https://doi.org/10.6028/NIST.IR.8388-upd1
LA  - en
PB  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2024
TI  - Verifying Executability of SysML Behavior Models Using Alloy Analyzer
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=960563
ER  -