Aarhus University logo
Dansk
Back to search
Model-driven systems development, Capacity planning, Experimental systems development, Modelling and validation of distributed systems (Coloured Petri Nets), Programming languages and formal models, Simulation and analysis tools, Software specification and verification
