Login

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, 2019
Authors:
Giann Nandi


Events:

DCE 2019
27, Jun, 2019 >> 28, Jun, 2019
3rd Doctoral Congress in Engineering
Porto, Portugal


Poster presented in 3rd Doctoral Congress in Engineering (DCE 2019).
Porto, Portugal.



Record Date: 4, Jun, 2019