Browsing by Subject τυπικές μέθοδοι
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
4-Apr-2008 | Μοντελοποίηση Και Επαλήθευση Κινητών Συστημάτων Με Τεχνικές Αλγεβρικών Προδιαγραφών | Ιάκωβος Ουρανός | Φράγκος Παναγιώτης |