Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS
Ref: CISTER-TR-190606 Publication Date: 27 to 28, Jun, 2019
Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS
Ref: CISTER-TR-190606 Publication Date: 27 to 28, Jun, 2019Events:
Document:
Poster presented in 3rd Doctoral Congress in Engineering (DCE 2019).
Porto, Portugal.
Record Date: 4, Jun, 2019
Short links for this page: www.cister-labs.pt/docs/cister_tr_190606 www.cister-labs.pt/docs/1527