Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems.

Published in: ICST Workshops (2017)

Keyphrases