 |
|
|||
| Authors: | Simon Perathoner |
| Group: | Computer Engineering |
| Type: | Talk |
| Title: | Analytic Real-Time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-Time Systems |
| Year: | 2009 |
| Month: | June |
| Pub-Key: | P2009T |
| Remarks: | Artist-Design Cluster Meeting (Hardware Platforms) |
| Resources: | [BibTeX] |
