1 results
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 5 / September 2023
- Published online by Cambridge University Press:
- 04 March 2022, pp. 1029-1069
-
- Article
- Export citation