IT, Computer Science and Mathematics

Pervasive Computing ► Mobile systems and interfaces
Software Systems ► Communication protocols and network
Software Systems ► Modelling and validation of distributed systems
Software Systems ► Software specification and verification ► Coloured Petri Nets