Search

Displaying 1 - 4 of 4

A Formal Semantic Framework for Maritime Situation Analysis

Author: Yaghoubi Shahir, Amir

Date created: 2016-04-18

Intelligent decision support for marine safety and security operation centres

Author: Khalili-Araghi, Ali

Date created: 2011-08-24

Model checking support for CoreASM: model checking distributed abstract state machines using Spin

Author: Ma, George Zi Sheng

Date created: 2007

CoreASM: an extensible modeling framework & tool environment for high-level design and analysis of distributed systems

Author: Farahbod, Roozbeh

Date created: 2009