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