Search

Displaying 1 - 3 of 3

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