返回导师列表
NB

Nick Battle

Guest Research · School of Computing

Newcastle University · United Kingdom
formal specificationmodelling of industrial systems

简介

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

代表成果

  • Verification Technology for VDM: Craft and Automation

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。