- Date Created
- 2023-08-10 17:23:51
- Last Updated
- 2023-08-10 17:23:51
- UUID
- 4fa2d5e3-0257-463e-8af9-af3e625e2002
Title Update Infos: Formal Techniques for Safety-Critical Systems
- Package Update Info
- Springer Nature English International Enhanced KBART 2016-2023
- Description
- New Title 'Formal Techniques for Safety-Critical Systems'
- Status
- Successful
- Type
- New Title
- Start Time
- 2023-08-10
- End Time
- 2023-08-10
- KBART Field
- Empty
- Old Value
- Empty
- New value
- Empty