Academic Journal
Automated Test Case Generation for the Verification of System and High-Level Software Requirements for Fly-by-Wire Platforms
| Τίτλος: | Automated Test Case Generation for the Verification of System and High-Level Software Requirements for Fly-by-Wire Platforms |
|---|---|
| Συγγραφείς: | Christian Block, Serkan Dikmen, Reinhard Reichel |
| Πηγή: | AIAA SCITECH 2022 Forum. |
| Στοιχεία εκδότη: | American Institute of Aeronautics and Astronautics (AIAA), 2022. |
| Έτος έκδοσης: | 2022 |
| Θεματικοί όροι: | 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences |
| Τύπος εγγράφου: | Article |
| DOI: | 10.2514/6.2022-0254 |
| Αριθμός Καταχώρησης: | edsair.doi...........1ef8aad8ec16b6bbac253ce0d0ba5d48 |
| Βάση Δεδομένων: | OpenAIRE |
| DOI: | 10.2514/6.2022-0254 |
|---|