School of Computer Applications, Dublin City University Dublin 9, Ireland;
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:通过学习,抽象和改进自动“验证”离散时间复杂系统
机译:抽象细化和无限含有无限状态系统的含量的抗曲
机译:使用改进和抽象的可靠系统的干扰分析
机译:具有同信道干扰的蜂窝系统中基于独立成分分析的干扰减少。
机译:专家系统知识库的实证分析与完善
机译:使用细化和抽象的可靠系统的干扰分析
机译:假设 - 保证抽象细化符合混合系统。