Originalsprog | Engelsk |
---|---|
Publikationsdato | 2024 |
Status | Udgivet - 2024 |
Begivenhed | NIST Workshop on Formal Methods within Certification Programs (FMCP 2024) - Rockville, USA Varighed: 23 jul. 2024 → 25 jul. 2024 |
Workshop
Workshop | NIST Workshop on Formal Methods within Certification Programs (FMCP 2024) |
---|---|
Land/Område | USA |
By | Rockville |
Periode | 23/07/2024 → 25/07/2024 |