- Date Created
- 2023-08-09 19:15:14
- Last Updated
- 2023-08-09 19:15:14
- UUID
- 06ffdc11-b8dc-40cd-9842-04a966fd8aff
Title Update Infos: Formal Techniques for Safety-Critical Systems
- Package Update Info
- ProQuest_Ebook Central DDA
- Description
- Changes in Title 'Formal Techniques for Safety-Critical Systems'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2023-08-09
- End Time
- 2023-08-09
- KBART Field
- last_changed
- Old Value
- 2023-04-26
- New value
- 2023-05-21