Μοντελοποίηση και ανάλυση συστημάτων με υβριδικά αυτόματα

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

DOI
10.12681/eadd/15033
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/15033
ND
15033
Εναλλακτικός τίτλος
System modelling and analysis with hybrid automata
Συγγραφέας
Κοτίνη, Ισαβέλλα (Πατρώνυμο: Ιωάννης)
Ημερομηνία
2003
Ίδρυμα
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Σχολή Πολυτεχνική. Τμήμα Ηελκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Ηλεκτρονικής και Υπολογιστών
Εξεταστική επιτροπή
Χασάπης Γεώργιος
Πάγκαλος Γεώργιος
Μαργαρίτης Κωνσταντίνος
Πετρίδης Βασίλειος
Πέτρου Λουκάς
Δουγλέρη Ζωή
Βλαχαβάς Ιωάννης
Επιστημονικό πεδίο
Επιστήμες Μηχανικού και Τεχνολογία
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Λέξεις-κλειδιά
Υβριδικά αυτόματα; Φορμαλιστικές μέθοδοι; Υβριδικά συστήματα; Προδιαγραφή συστημάτων; Επαλήθευση απαιτήσεων; Μοντελοποίηση; Ανάλυση
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
335 σ., εικ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)