English
Tilbage til søgning
Softwarespecifikation og -verifikation (Farvede Petri Net), Kommunikationsprotokoller og netværk, Mobile systemer og grænseflader, Modellering og validering af distribuerede systemer