Formal Verification of a Merge Sort Algorithm in SPARK
AIAA Scitech 2021 Forum
01.01.2021
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
FORMAL VERIFICATION OF A MERGE SORT ALGORITHM IN SPARK
TIBKAT | 2021
|Data-adapted Parallel Merge Sort
Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
|Video Frame Categorization Using Sort-Merge Feature Selection
British Library Conference Proceedings | 2002
|British Library Online Contents | 2003
|