Skip to content
Τμήμα Πληροφορικής ΑΠΘ
Το Τμήμα
Πληροφορίες
Οργάνωση
Τομέας Τεχνολογιών Γνώσης, Δεδομένων και Ιστού
Τομέας Λογισμικού, Υλικού και Θεμελιώσεων
Τομέας Δικτύων Επικοινωνιών και Ανάλυσης Πληροφοριών
Επιτροπές Τμήματος
Πρόσβαση
Επικοινωνία
Γραμματεία
Βιβλιοθήκη
Προσωπικό
Διδακτικό και Ερευνητικό
Διοικητικό και Υποστηρικτικό
Ομότιμοι και Διατελέσαντες Καθηγητές
Επίτιμοι Διδάκτορες
Προκηρύξεις – Μητρώα
Σπουδές
Προπτυχιακές Σπουδές
Γενικά Θέματα
Ροές Μαθημάτων
Κατοχυρώσεις Μαθημάτων
Μαθήματα ανά Εξάμηνο Σπουδών
Πρακτική Άσκηση
Πιστοποιητικό Παιδαγωγικής και Διδακτικής Επάρκειας
Οδηγοί Σπουδών
Μεταπτυχιακές Σπουδές
Διδακτορικές Σπουδές
Εσωτερικός Κανονισμός
Χορήγηση Διδακτορικού Τίτλου
Ανακοινώσεις
Διδάκτορες Τμήματος
Σχετικά έγγραφα για εκπόνηση διδακτορικής διατριβής
Πεδία Έρευνας
Erasmus
Έρευνα
Ερευνητικές Περιοχές
Δημοσιεύσεις
Αναγορευθέντες Διδάκτορες
Ενημέρωση
Ανακοινώσεις
Υποτροφίες
Πρόγραμμα Μαθημάτων και Εξετάσεων
Πρακτική Άσκηση
Ακαδημαϊκό Ημερολόγιο
Εκδηλώσεις
Διακρίσεις και Βραβεύσεις
Λέων ο Μαθηματικός
Events
Invited Speakers
Presentations
Video Lectures
Φοιτητικά
Φοιτητικός Σύλλογος
Παράρτημα ACM
Κοινωνικές Υπηρεσίες
Portal Αποφοίτων
Φοιτητικές Δράσεις
Ελληνικά
English
Το Τμήμα
Πληροφορίες
Οργάνωση
Τομέας Τεχνολογιών Γνώσης, Δεδομένων και Ιστού
Τομέας Λογισμικού, Υλικού και Θεμελιώσεων
Τομέας Δικτύων Επικοινωνιών και Ανάλυσης Πληροφοριών
Επιτροπές Τμήματος
Πρόσβαση
Επικοινωνία
Γραμματεία
Βιβλιοθήκη
Προσωπικό
Διδακτικό και Ερευνητικό
Διοικητικό και Υποστηρικτικό
Ομότιμοι και Διατελέσαντες Καθηγητές
Επίτιμοι Διδάκτορες
Προκηρύξεις – Μητρώα
Σπουδές
Προπτυχιακές Σπουδές
Γενικά Θέματα
Ροές Μαθημάτων
Κατοχυρώσεις Μαθημάτων
Μαθήματα ανά Εξάμηνο Σπουδών
Πρακτική Άσκηση
Πιστοποιητικό Παιδαγωγικής και Διδακτικής Επάρκειας
Οδηγοί Σπουδών
Μεταπτυχιακές Σπουδές
Διδακτορικές Σπουδές
Εσωτερικός Κανονισμός
Χορήγηση Διδακτορικού Τίτλου
Ανακοινώσεις
Διδάκτορες Τμήματος
Σχετικά έγγραφα για εκπόνηση διδακτορικής διατριβής
Πεδία Έρευνας
Erasmus
Έρευνα
Ερευνητικές Περιοχές
Δημοσιεύσεις
Αναγορευθέντες Διδάκτορες
Ενημέρωση
Ανακοινώσεις
Υποτροφίες
Πρόγραμμα Μαθημάτων και Εξετάσεων
Πρακτική Άσκηση
Ακαδημαϊκό Ημερολόγιο
Εκδηλώσεις
Διακρίσεις και Βραβεύσεις
Λέων ο Μαθηματικός
Events
Invited Speakers
Presentations
Video Lectures
Φοιτητικά
Φοιτητικός Σύλλογος
Παράρτημα ACM
Κοινωνικές Υπηρεσίες
Portal Αποφοίτων
Φοιτητικές Δράσεις
Αναζήτηση για:
Βρίσκεστε εδώ:
Αρχική
»
Λέων ο Μαθηματικός
»
Presentations
»
State Space Exploration for NASA’s Safety Critical Systems
22 Οκτωβρίου 2013
14 Αυγούστου 2019
State Space Exploration for NASA’s Safety Critical Systems
