ΕΠΛ 664: Ανάλυση και Επαλήθευση Συστημάτων
Τutorials


Σ'αυτή τη σελίδα υπάρχει υλικό από τα φροντιστήρια του μαθήματος
       
           
1 Φροντιστήριo 25 Ιανουαρίου 2016: download, solutions (Συστήματα Μεταβάσεων)
2 Φροντιστήριa 1 και 8 Φεβρουαρίου 2016: download, solutions (LTL)
3
 Φροντιστήριo 29 Φεβρουαρίου 2016: download, solutions (CTL)
4 Φροντιστήριo 7 Μαρτίου 2016: Eπανάληψη για ενδιάμεση
5
 Φροντιστήριo 21 Μαρτίου 2016: download, solutions (Χρονικά Αυτόματα)
6 Φροντιστήριo 28 Μαρτίου 2016: UPPAAL
7 Φροντιστήριo 4 Απριλίου 2016: download, solutions (Άλγεβρες Διεγρασιών)
8 Φροντιστήριo 11 Απριλίου 2016: download, solutions (Ισοδυναμίες)
Rev Φροντιστήριo 26 Απριλίου 2016: download, solutions (Επανάληψη)

EPL664
Class Notes
Solutions
Course Schedule
Announcements
Class Contract
Assignments
Related Links

 

’Αννα Φιλίππου, Εαρινό Εξάμηνο 2016