OpenArchives.gr | Ο συσσωρευτής ψηφιακού περιεχομένου έρευνας, επιστήμης και εκπαίδευσης του ΕΚΤ

Πληκτρολογήστε λέξη ή φράση

Tύπος τεκμηρίου

Επιστημονικό πεδίο

Σχολή/Τμήμα/Ινστιτούτο

Χρονολογία

Φορέας / συλλογή

Υποδομές ΕΚΤ eContent

Περισσότερα κριτήρια αναζήτησης

Καθαρισμός Βοήθεια

1 - 1 to 1 item

Ταξινόμηση

Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών Modeling and verification of mobile systems using algebraic specification techniques

Creator: Ouranos, Iakovos Ch., Ουρανός, Ιάκωβος Χ.

Item type: Διδακτορική διατριβή

Scientific field: Τηλεπισκόπηση

Υear: 2008

School/department/institute: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Συστημάτων Μετάδοσης Πληροφορίας και Τεχνολογίας Υλικών ▶ Εργαστήριο Συστημάτων Ραντάρ και Τηλεπισκόπησης

Institution: Εθνικό Μετσόβιο Πολυτεχνείο

Collection : Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA

Φίλτρα αποτελεσμάτων

Φίλτρα αποτελεσμάτων

Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών Modeling and verification of mobile systems using algebraic specification techniques

Φίλτρα αποτελεσμάτων

Φίλτρα αποτελεσμάτων

Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών Modeling and verification of mobile systems using algebraic specification techniques

Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.