IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal engineering frameworks in maritime domain awareness

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Author(s): Amir Yaghoubi Shahir ; Uwe Glässer ; Hamed Yaghoubi Shahir ; Mohammad A. Tayebi ; Hans Wehn
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2016
Conference Location: Kanpur, India
Conference Date: 18 November 2016
Page(s): 59 - 64
ISBN (Electronic): 978-1-5090-2791-0
ISBN (USB): 978-1-5090-2790-3
DOI: 10.1109/MEMCOD.2016.7797746
Regular:

Maritime domain awareness builds on services and systems for interactive situation analysis and decision support to assist marine authorities in their assessment of unfolding situations to... View More

Advertisement