Browsing by Subject safety-critical software
Showing results 1 to 1 of 1
| Publication Date | Title | Author(s) |
|---|---|---|
| Aug-2008 | Proving Implementability of Timing Properties with Tolerances | Hu, Xiayong |
Showing results 1 to 1 of 1
