"Formal modeling and analysis of safety-critical human multitasking."

Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky (2019)

Details and statistics

DOI: 10.1007/S11334-019-00333-7

access: closed

type: Journal Article

metadata version: 2020-08-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics