• 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 ...