Chalmers Univ. of Tech, Goteborg, Sweden;
机译:关于嵌入式软件的模型驱动设计和基于动态声明的验证的集成
机译:嵌入式软件中时间约束感知的断言优化
机译:嵌入式软件中时间约束感知的断言优化
机译:关于嵌入式软件的全局一致可执行断言系统设计
机译:使用词嵌入的深度断言发现
机译:使用来自地球科学激光测高仪系统(GLAS)的激光雷达数据进行全球一致的生物量估计的样本设计
机译:嵌入式软件中全局一致性可执行断言的系统设计
机译:可执行断言和飞行软件