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


Σ'αυτή τη σελίδα υπάρχει υλικό από τα φροντιστήρια του μαθήματος
       
           

1 Φροντιστήριo 22 Ιανουαρίου 2020: download, solutions (Συστήματα Μεταβάσεων)
2 Φροντιστήριo 29 Ιανουαρίου 2020: download, solutions (Χρονική Λογική LTL)
3 Φροντιστήριo 19 Φεβρουαρίου 2020: download, solutions (Χρονική Λογική CTL)
4 Φροντιστήριo 26 Φεβρουαρίου 2020: download, solutions (Χρονικά Αυτόματα)

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

 

’Αννα Φιλίππου, Φθινόπωρο 2020