| Name: | model_checking_final.pdf |
| Owner: | Administrator |
| Used disk space: | 566.27 KiB |
| Created: | 2018-07-20 10:17:30 |
| Categories: | ΑΔΕ |
| Επιβλέπων Καθηγητής/τρια: | Αντρέας Αντρέου |
| Συγγραφέας: | Ευγενία Βασιλείου |
| Τίτλος: | Έλεγχος λογισμικού με τη χρήση μοντέλων : θεωριτική προσαρμογή ακολουθιακών διαγραμμάτων |
| Χρονιά: | 2009 |
| File | Comment | Status | ||
|---|---|---|---|---|
 |
|
Released |
No attached files
No linked files