Incubator TeSSLa examples

INTO-CPS-Association / DTaaS-examples

Examples to demonstrate the features of DTaaS software

3 stars 8 forks source link

Closed mortenhaahr closed 1 month ago

mortenhaahr commented 1 month ago

This PR provides two examples where TeSSLa is used for runtime verification of the Incubator.