Michael D. Harrison

Publication Activity (10 Years)

Years Active: 1976-2021
Publications (10 Years): 16

Top Topics

Formal Verification

Safety Analysis

Medical Devices

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Int. J. Hum. Comput. Stud.

INTERACT (Workshops)

Publications