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

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

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