Scholar
Ken Pierce
Google Scholar ID: qUqnc9UAAAAJ
Newcastle University
computer science
formal methods
verification
embedded systems
co-simulation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
331
H-index
10
i10-index
10
Publications
20
Co-authors
0
Publications
1 items
Translating a VDM Model of a Medical Device into Kapture
2025
Cited
0
