The objective of this research is to develop formal verification tools for human-computer interfaces to cyber-physical systems.
Click a term to refine your current search.
