Μάθημα : Θεωρία και Σχεδιασμός Πρωτοκόλλων
Κωδικός : D210
ΠΜΣ 525 - Alonistioti Nancy
La pagina che tenti di accedere richiede una username ed una password.
La piattaforma ti ha automaticamente reindirizzato alla home page perché tu faccia login prima di procedere con altre azioni. Probabilmente la tua sessione è scaduta.
La piattaforma ti ha automaticamente reindirizzato alla home page perché tu faccia login prima di procedere con altre azioni. Probabilmente la tua sessione è scaduta.
Περιγραφή Μαθήματος
Εισαγωγικό Σημείωμα
Εισαγωγή στο σχεδιασμό και επαλήθευση πρωτοκόλλων. Σχεδιασμός τηλεπικοινωνιακών υπηρεσιών και πρωτοκόλλων σε δίκτυα και φορμαλιστική προδιαγραφή τους. Πεπερασμένες μηχανές καταστάσεων, δομή πρωτοκόλλων, διαγράμματα ροής μηνυμάτων, μορφοποίηση μυνημάτων, έλεγχος συμμόρφωσης πρωτοκόλλων. Γλώσα επαλήθευσης πρωτοκόλλων PROMELA, εργαλεία επαλήθευσης πρωτοκόλλων.
Εισαγωγή στο σχεδιασμό και επαλήθευση πρωτοκόλλων. Σχεδιασμός τηλεπικοινωνιακών υπηρεσιών και πρωτοκόλλων σε δίκτυα και φορμαλιστική προδιαγραφή τους. Πεπερασμένες μηχανές καταστάσεων, δομή πρωτοκόλλων, διαγράμματα ροής μηνυμάτων, μορφοποίηση μυνημάτων, έλεγχος συμμόρφωσης πρωτοκόλλων. Γλώσα επαλήθευσης πρωτοκόλλων PROMELA, εργαλεία επαλήθευσης πρωτοκόλλων.
Ημερολόγιο
Προθεσμία
Γεγονός μαθήματος
Γεγονός συστήματος
Προσωπικό γεγονός
Ανακοινώσεις
Όλες...-
Πέμπτη 5 Νοεμβρίου 2015 - 3:09 μ.μ.
-
Τρίτη 16 Ιουνίου 2015 - 12:00 π.μ.
-
Παρασκευή 27 Μαρτίου 2015 - 12:00 π.μ.