Mohamed Abomhara

1PUBLICATIONS
0CO-AUTHORS
Medical devices
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Apr 13, 2022
Work-Based Access Control Model for Cooperative Healthcare Environments: Formal Specification and Verification.

Mohamed Abomhara, Huihui Yang, Geir M Køien

Pageof 1

Frequent Collaborators