Aarhus University logo
Dansk
Back to search
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
