Using An HLA Simulation Environment For Safety Concept Verification Of Offshore Operations.
Christoph LäscheVolker GollückeAxel HahnPublished in: ECMS (2013)
Keyphrases
- simulation environment
- simulation tool
- simulation model
- model checking
- concept learning
- databases
- knowledge base
- social networks
- artificial intelligence
- information retrieval
- real world
- learning algorithm
- neural network
- formal methods
- signature verification
- formal verification
- database
- simulation tools
- safety analysis