Formal engineering frameworks in maritime domain awareness

Amir Yaghoubi Shahir, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn. Formal engineering frameworks in maritime domain awareness. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. pages 59-64, IEEE, 2016. [doi]

Authors

Amir Yaghoubi Shahir

This author has not been identified. Look up 'Amir Yaghoubi Shahir' in Google

Uwe Glässer

This author has not been identified. Look up 'Uwe Glässer' in Google

Hamed Yaghoubi Shahir

This author has not been identified. Look up 'Hamed Yaghoubi Shahir' in Google

Mohammad A. Tayebi

This author has not been identified. Look up 'Mohammad A. Tayebi' in Google

Hans Wehn

This author has not been identified. Look up 'Hans Wehn' in Google