Safe Decomposition of Startup Requirements: Verification and Synthesis (Q5039507)
From MaRDI portal
scientific article; zbMATH DE number 7600818
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safe Decomposition of Startup Requirements: Verification and Synthesis |
scientific article; zbMATH DE number 7600818 |
Statements
Safe Decomposition of Startup Requirements: Verification and Synthesis (English)
0 references
13 October 2022
0 references
0 references
