Game theory; Computer programs; Ontology; Verification; Csfv(crowd sourced formal verification); Human behavior; Scripting; Dynamic behavior; Knowledge representation; Prot g; Combatxxi;
机译:电子商务业务流程的形式分析与验证
机译:流程挖掘正式业务流程建模和验证方法:案例研究
机译:建模和验证业务流程协作的正式方法
机译:以人为本的电子商务系统分析和建模方法
机译:工商业中正式指导概念的分析:对开发和实施的启示
机译:整形外科工商管理硕士学位的用途:确定整形外科医师进行正式商业教育的动机和结果
机译:众包形式验证:针对以人为本的业务模型的业务案例分析