placeholder image

Jansen, Nils

Person

Positions

The University of Texas at Austin

selected publications

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

full name

Nils Jansen

Publications in VIVO

Co-author Network