Formal modeling and analysis of safety-critical human multitasking
Crossref DOI link: https://doi.org/10.1007/s11334-019-00333-7
Published Online: 2019-04-08
Published Print: 2019-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Broccia, Giovanna
Milazzo, Paolo http://orcid.org/0000-0002-7309-6424
Ölveczky, Peter Csaba
Funding for this research was provided by:
Università di Pisa (PRA 2017_44)
Text and Data Mining valid from 2019-04-08
Version of Record valid from 2019-04-08
Article History
Received: 1 October 2018
Accepted: 20 March 2019
First Online: 8 April 2019
Free to read: This content has been made available to all.