Login / Signup
A PHP-GRASS Based Information System for Traffic Safety Analysis.
Huiqing Yang
Published in:
International Conference on Internet Computing (2010)
Keyphrases
</>
safety analysis
information systems
nuclear power plant
control system
safety critical
symbolic model checking
fault model
open source
real time
health care
model checking
formal methods
reliability analysis
agent architecture
partial observability
embedded systems
planning problems
peer to peer
dynamic programming