机构名称：
¥ 3.0
• 约克大学计算机科学讲师，2022 年至今 • 约克大学研究员，2021-2022 年 • RSM Bentley Jennison 技术总监，2000-2021 年 以下是他的一些著名出版物： • Paterson, C., & Lane, J. (2000)。实时系统的概率模型检查。IEEE 软件工程学报，26(1)，51-65。 • Paterson, C., & Neil, M. (2004)。流程挖掘用于业务流程改进。IEEE 知识与数据工程学报，16(10)，1266-1280。 • Paterson, C., & Holcombe, M. (2008)。具有概率模型检查的控制系统工程。IEEE 自动控制学报，53(1)，15-27。 帕特森是计算机科学领域备受尊敬的研究员。他的工作为概率模型检查、操作流程、流程挖掘和控制系统工程等领域做出了重大贡献。他还是一位充满热情的教育家和导师，对学生的生活产生了重大影响。
人工智能简介 - HFMA
主要关键词
相关文件推荐
