Έλεγχος μοντέλων: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Διάσωση 1 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0 |
Διάσωση 1 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0 |
||
Γραμμή 102:
== Εξωτερικοί σύνδεσμοι ==
* [https://web.archive.org/web/20070502141616/http://delab.csd.auth.gr/~katsaros/formal_methods.htm Τυπικές Μέθοδοι Ανάλυσης Συστημάτων], Π. Κατσαρός, [[Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης]]
* [http://phdtheses.ekt.gr/eadd/handle/10442/19375 Ανάπτυξη Τυπικών Μεθόδων για τον Έλεγχο Πρωτοκόλλων Ασφαλείας], Σ. Μπασαγιάννης, [[Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης]]
| |||