Towards Automated Nautical Chart Compilation and Verification of Output Topology and Safety.
Autor: | Nada, Tamer, Kastrisios, Christos, Calder, Brian, Ence, Christie, Greene, Craig, Bethell, Amber |
---|---|
Zdroj: | Proceedings of the ICA. 2023, Vol. 5, p1-8. 8p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: |