research
∙
08/11/2020
SafetyOps
Safety assurance is a paramount factor in the large-scale deployment of ...
share
research
∙
03/08/2020
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
Due to major breakthroughs in software and engineering technologies, emb...
research
∙
04/21/2018
