Return to Article Details Összeköttetés alapú kommunikációs protokollok állapottér-idő elemzése dinamikus idővetemítéssel Download Download PDF