受强制性开放获取政策约束的文章 - Sara Houhou了解详情
可在其他位置公开访问的文章：4 篇
A first-order logic semantics for communication-parametric BPMN collaborations
S Houhou, S Baarir, P Poizat, P Quéinnec
International Conference on Business Process Management, 52-68, 2019
强制性开放获取政策： Agence Nationale de la Recherche
A first-order logic verification framework for communication-parametric and time-aware BPMN collaborations
S Houhou, S Baarir, P Poizat, P Quéinnec, L Kahloul
Information Systems 104, 101765, 2022
强制性开放获取政策： Agence Nationale de la Recherche
Business processes meet spatial concerns: the sBPMN verification framework
R Saddem-Yagoubi, P Poizat, S Houhou
International Symposium on Formal Methods, 218-234, 2021
强制性开放获取政策： Agence Nationale de la Recherche
A direct formal semantics for BPMN time-related constructs
S Houhou, S Baarir, P Poizat, P Quéinnec
ENASE 2021-16th International Conference on Evaluation of Novel Approaches …, 2021
强制性开放获取政策： Agence Nationale de la Recherche
出版信息和资助信息由计算机程序自动确定