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