All public logs

Combined display of all available logs of COMP4DRONES. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:13, 3 October 2022 Uniss talk contribs created page WP6-16 (Created page with "= SAGE = {|class="wikitable" | ID|| WP6-SAGE |- | Contributor || UNISS |- | Levels || Tool |- | TRL || 3 |} == Detailed Description == The tools in the SAGE Verification Suite (SAGE-VS) proposed by UNISS to address UC5 targets targets requirement consistency checking (ReqV), automatic test pattern generation (ReqT) and Neural Network verification (NeVer). ==Contribution and Improvements== *ReqV: **Formulate the technical requirements/specification using Proper...")