Chapter
Verifying trustworthy cyber-physical systems using closed-loop modeling
Authors
Singh NK; Lawford M; Maibaum TSE; Wassyng A
Book title
Trustworthy Cyber Physical Systems Engineering
Pagination
pp. 199-235
Publication Date
October 3, 2016
DOI
10.1201/9781315369105