![](/img/cover-not-exists.png)
[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Formal engineering frameworks in maritime domain awareness
Shahir, Amir Yaghoubi, Glasser, Uwe, Shahir, Hamed Yaghoubi, Tayebi, Mohammad A., Wehn, HansYear:
2016
Language:
english
DOI:
10.1109/MEMCOD.2016.7797746
File:
PDF, 513 KB
english, 2016