Login / Signup
Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System.
Alison Adam
Paul Spedding
Published in:
Int. J. Technol. Hum. Interact. (2007)
Keyphrases
</>
safety critical
third party
information systems
embedded systems
fault tolerant
formal methods
safety analysis
nuclear power plant
agent architecture
real time
support systems
management system
semi automatic
software engineering
business rules
adaptive systems
expert systems