Validation of a Simulation Algorithm for Safety-Critical Human Multitasking.
Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel
Browse the full FM paper archive.
Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel
Browse the full FM paper archive.