ECS, University of Southampton, Southampton, SO17 1BJ, UK;
ECS, University of Southampton, Southampton, SO17 1BJ, UK;
ECS, University of Southampton, Southampton, SO17 1BJ, UK;
visual modelling languages; formal specification; UML; event-B; refinement;
机译:Event-B中用于事件细化结构的语言和工具支持
机译:支持向量机分类器的局部二进制模式基于视觉的印度手语手势识别
机译:Mobile Peer-Support for OpioID使用障碍:改进创新机器学习工具?
机译:UML-B中的类和状态机制的语言和工具支持
机译:完善测试套件的方法和工具支持。
机译:一类支持向量机将语言和默认模式区域识别为自闭症谱系障碍幼儿的常见结构改变模式
机译:UmL-B中类和状态机细化的语言和工具支持
机译:关于直接机床语言的形式化定义