Formal modeling and analysis of safety-critical human multitasking.

Giovanna Broccia Paolo Milazzo Peter Csaba Ölveczky

Published in: Innov. Syst. Softw. Eng. (2019)

Keyphrases

safety critical
formal methods
safety analysis
real time
human activities
information systems
multi agent systems
low cost