An Executable Formal Framework for Safety-Critical Human Multitasking.

Giovanna Broccia Paolo Milazzo Peter Csaba Ölveczky

Published in: NFM (2018)

Keyphrases

safety critical
formal methods
software engineering
intelligent systems