placeholder image

J. Mengshoel, Ole

Person

Positions

Carnegie Mellon University

selected publications

chapter
- Synthesis and Verification of Self-aware Computing Systems. Springer eBooks. 337-373. 2017

full name

Ole J. Mengshoel

Publications in VIVO

Co-author Network