Innopolis University Kazan Tatarstan Russia;
Computer Science; Discrete Mathematics; Event B; Formal Methods; Software Engineering;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:阿萨姆邦的正规牛奶加工部门:从机构失败中汲取的教训
机译:手工编码软件的形式验证某些工业实验和经验教训
机译:教学正式方法:从使用事件-B中吸取的经验教训
机译:大学级ESL / EFL的课程计划:混合方法研究,以确定对教学实践和学生学习的影响。
机译:设计教师发展:从定性解释学家研究中汲取的经验教训探索学生对临床教学的期望和经验
机译:Event-B在工作:从应用程序到机器人防撞功能的一些教训