Previous
 

Personen er ikke tilknyttet DTU


Continue to the research database for further information
Profile
Research output
LoadingText

Profile

Keywords Qualitative and quantitative system modeling and analysis | Domain Specific Languages | Large-scale performance analysis | Formal methods | Model reduction

I am an Associate Professor in the section Formal Methods for Safe and Secure Systems at DTU Compute.

Visit my home page for further details: http://people.compute.dtu.dk/anvan/

See profile and cv in DTU Orbit...