PhD Research Fellowship in Formal Methods for Real-Time and Cyber-Physical Systems

University of Oslo Department of Informatics