Showing results 1 to 1 of 1

# Description Title Status Type KBART Field New Value Old Value Start Time End Time
1 New Title 'Formal Techniques for Safety-Critical Systems' Formal Techniques for Safety-Critical Systems Successful New Title -Empty- -Empty- -Empty- 2023-08-10 17:23 2023-08-10 17:23