FORMAL VERIFICATION OF A MERGE SORT ALGORITHM IN SPARK
AIAA SciTech Forum and Exposition ; 2021 ; Online
2021
Aufsatz (Konferenz)
Englisch
Formal Verification of a Merge Sort Algorithm in SPARK
AIAA | 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
|