Changes between Version 70 and Version 71 of WikiStart
- Timestamp:
- 10/21/14 12:30:51 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v70 v71 52 52 }}} 53 53 {{{#!div class="boxdescription" 54 AutoQUEST is a workbench providing a set of tools for post processing and analysing traces . Further tools54 AutoQUEST is a workbench providing a set of tools for post processing and analysing traces, i.e., sequences of recorded events. Further tools 55 55 can be added for, e.g., supporting further platforms or analyses. 56 56 }}}