Login / Signup
Towards a Lightweight Approach for On-site Interaction Evaluation of Safety-critical Mobile Systems.
Konstantin Holl
Claudia Nass
Karina Villela
Vaninha Vieira
Published in:
FNC/MobiSPC (2016)
Keyphrases
</>
lightweight
safety critical
formal methods
embedded systems
safety analysis
fault tolerant
handheld devices
nuclear power plant
support systems
management system
communication infrastructure
expert systems
software engineering
agent architecture
adaptive systems