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