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