Phileas, a Safety Critical Trip around the World.

Jean-Luc Valk Hans Vis Gerard Koning

Published in: SSS (2010)

Keyphrases

safety critical
formal methods
fault tolerant
nuclear power plant
safety analysis
embedded systems
agent architecture
support systems
multi agent
semi automatic
adaptive systems
regulatory requirements
databases
expert systems