机译:使用代数图变换和mCRL2流程代数生成和评估业务连续性流程
Universite du Luxembourg, SECAN-Lab, Campus Kirchberg, 6, rue Richard Coudenhove-Kalergi, 1359 Luxembourg-Kirchberg, EU;
Technische Universitaet Berlin, Fakultaet IV, Theoretische Informatik/Formale Spezifikation, Sekr. FR 6-1, Franklinstr. 28/29, 10587 Berlin, EU;
Eindhoven University of Technology, Systems Engineering, Department of Computer Science. Hoofdgebouw kamer 6.75, Den Dolech I P.O. Box 513, 5600 MB Eindhoven, The Netherlands, EU;
business continuity; business process; algebraic graph transformation; process algebra; generation; evaluation; enterprise modeling;
机译:本构混合过程:混合键图的过程代数语义
机译:AF-Algebras的实现作为图形代数,Exel-Laca代数和UltraGraval代数
机译:代数图转换可以为模型转换做什么
机译:关键业务流程的建模与重新配置,以便使用代数图转换尊重信用速度的安全,风险和合规性要求的企业连续性管理
机译:来自波多黎各大学中学的九年级学生在使用TI -73图形计算器求解基本代数中的单变量线性不等式时的思维过程。
机译:认知过程基础数学技能以及计算准确性和流利性在单词问题解决与代数知识之间的作用
机译:使用流程代数和模态逻辑评估业务连续性计划
机译:基于拉普拉斯方程和代数变换的椭圆网格生成