Modelling and Analysis for Cyber-Physical Systems: An SMT-based approach

Phan Anh Dung

Research output: Book/Report › Ph.D. thesis

980 Downloads (Orbit)

1 results

Filter

Finished
Modelling and analysis for Cyber-Physical Systems
Dung, P. A. (PhD Student), Hansen, M. R. (Main Supervisor), Madsen, J. (Supervisor), Haxthausen, A. E. (Examiner), Sestoft, P. (Examiner) & Vain, J. (Examiner)
1/3 FUU, 1/3 inst 1/3 Andet
01/11/2011 → 30/09/2015
Project: PhD