Data61, CSIRO, 70-72 Spring Hill, Brisbane, Australia;
Data61, CSIRO, 70-72 Spring Hill, Brisbane, Australia;
Research Group Software Architecture, University of Vienna, 1090 Vienna, Austria;
Research Group Software Architecture, University of Vienna, 1090 Vienna, Austria;
Business processes; Process-aware systems; Runtime analysis;
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:MURPHYS-HSFS-2014:第七届多速率工艺与迟滞国际研讨会(MURPHYS)和第二届迟滞与慢速系统国际研讨会(HSFS)
机译:流程信息系统运行时间分析的第一个国际研讨会(称为2016)
机译:声明式分布式系统中的静态和运行时分析的统一。
机译:海洋生态系统比较分析:国际生产建模研讨会
机译:过程感知信息系统的灵活性(ProFlex'06)-研讨会报告