Tool Seminar:KRONOS Overview
From Dependability
| Overview | | Schedule | | Syllabus | | 2006 Project Guidelines | | Tool List | | Editing Guidelines |
Na will give us a presentation on Kronos.
 link
| Kronos:A Verification Tool for Real-Time Systems, by Sergio Yovine |