Aarhus University logo
Dansk
Back to search
Software specification and verification, Capacity planning, Experimental systems development, Model-driven systems development, Modelling and validation of distributed systems (Coloured Petri Nets), Programming languages and formal models, Simulation and analysis tools
Software specification and verification, Compilers and interpreters, Program analysis and transformations, Programming languages and formal models, Webtechnology
Software specification and verification, Design and analysis og algorithms and data structures, Formal methods , Formal verification
