Browsing Institutt for IKT og realfag by Author "Janoušek, Vladimír"
Now showing items 1-1 of 1
-
Data-Driven Maritime Processes Management Using Executable Models
Richta, Tomáš; Wang, Hao; Osen, Ottar; Styve, Arne; Janoušek, Vladimír (Journal article, 2018)In this paper we describe a decision support system for maritime traffic and operations, based on formal models and driven by data from the environment. To handle the complexity of system description, we work with a ...