Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/16959
Εναλλακτικός τίτλος
Modeling and verification of mobile systems using algebraic specification techniques
Συγγραφέας
Ουρανός, Ιάκωβος Χαράλαμπος
Ημερομηνία
2008
Ίδρυμα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Συστημάτων Μετάδοσης Πληροφορίας και Τεχνολογίας Υλικών
Εξεταστική επιτροπή
Φράγκος Παναγιώτης
Ουζούνογλου Νικόλαος
Κωνσταντίνου Φίλιππος
Θεολόγου Μιχαήλ
Κολέτσος Γεώργιος
Παπαβασιλείου Συμεών
Παπαιωάννου Αλέξανδρος
Επιστημονικό πεδίο
Μηχανική & Τεχνολογία
Επιστήμες Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού & Μηχανικού Η/Υ
Λέξεις-κλειδιά
Κινητά συστήματα; Τυπικές μέθοδοι; Αλγεβρικές γλώσσες προδιαγραφών; Τυπική επαλήθευση; Κινητά παρατηρήσιμα συστήματα μετάβασης; Πρωτόκολλα κινητών επικοινωνιών; Σύνθεση πρωτοκόλλων
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
158 σ., εικ.