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

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

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

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

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

Χρονολογία

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

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

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

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

1 - 1 από 1 τεκμήριο

Ταξινόμηση

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

Δημιουργός: Ouranos, Iakovos Ch., Ουρανός, Ιάκωβος Χ.

Τύπος τεκμηρίου: Διδακτορική διατριβή

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

Χρονολογία : 2008

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

Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο

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

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

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

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

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

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

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

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