TY  - RPRT
TI  - Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
AU  - Thanh Hai Nguyen
AU  - Matthew Bundas
AU  - Tran Cao Son
AU  - Marcello Balduccini
AU  - Kathleen Campbell Garwood
AU  - Edward R. Griffor
PY  - 2022
UR  - https://arxiv.org/abs/2201.05710
ID  - 2201.05710
ER  -