Login / Signup
Peter W. V. Tran-Jørgensen
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 13
Top Topics
Formal Methods
Code Generation
Control System
Security Analysis
Top Venues
Int. J. Softw. Tools Technol. Transf.
FormaliSE@ICSE
SecITC
GIoTS
</>
Publications
</>