Back to advisors
NB

Nick Battle

Guest Research · School of Computing

Newcastle University · United Kingdom
formal specificationmodelling of industrial systems

About

Guest Research member of staff, interested in formal specification and modelling of industrial systems.

Selected publications

  • Verification Technology for VDM: Craft and Automation

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.