受强制性开放获取政策约束的文章 - Michael Poppleton了解详情
可在其他位置公开访问的文章：4 篇
Diagram-led formal modelling using iUML-B for hybrid ERTMS level 3
D Dghaym, M Poppleton, C Snook
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
强制性开放获取政策： European Commission
Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B
D Dghaym, M Dalvandi, M Poppleton, C Snook
International Journal on Software Tools for Technology Transfer 22, 297-313, 2020
强制性开放获取政策： European Commission
Using fast model-based fault localisation to aid students in self-guided program repair and to improve assessment
G Birch, B Fischer, M Poppleton
Proceedings of the 2016 ACM conference on innovation and technology in …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
G Birch, B Fischer, M Poppleton
Software & Systems Modeling 18, 445-471, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定