software fault tolerance; specification languages; ITU-T; SDL; automatic software failure detection; session-oriented software program; software reliability; specification-based failure detection; specification-description language; ITU-T SDL; automatic detection;
机译:旨在自动检测软件故障
机译:Anub-eggegates:基于全自动的NURBS的软件,用于历史砌体聚集体的高级局部失败分析
机译:LGATTNET:使用双流本地和全球关注的自动微表达检测
机译:自动检测本地和全局软件故障
机译:使用分层管理程序自动检测软件故障。
机译:Rnamountalign:局部全局半球形成对和多RNA序列/结构对准的高效软件
机译:实时系统中软件故障的自动检测方法