FORMAL VERIFICATION OF A MERGE SORT ALGORITHM IN SPARK

von Baity, Ryan
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Computer systems (2021)

Aviation cybersecurity : foundations, principles, and applications

Veröffentlicht 2021

The multiple shortest path problem with path deconfliction

von Hughes, Michael S.
Veröffentlicht in European journal of operational research (2021)