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