Skip to main navigation
Skip to search
Skip to main content
University of St Andrews Research Portal Home
Help & FAQ
Home
Profiles
Research output
Datasets/Software
Research units
Projects
Activities
Impacts
Prizes
Press/Media
Student theses
Search by expertise, name or affiliation
Applying Formal Methods in Healthcare
Bowles, J. K. F.
(Speaker)
School of Computer Science
Activity
:
Talk or presentation types
›
Invited talk
Period
15 May 2018
Held at
UNIVERSITY OF GLASGOW
, United Kingdom
Degree of Recognition
National
Related content
Projects
Automated Conflic Resolution in Clinical Pathways
Project
:
Standard
X