ALGORITHMS; ENCAPSULATING; EXPERT SYSTEMS; INTELLIGENCE; KNOWLEDGE BASED SYSTEMS; PROGRAM VERIFICATION (COMPUTERS); REAL TIME OPERATION; SYSTEMS ENGINEERING; UTILITIES; real-time expert systems automated utilities knowledge base verification; validation spacecraft monitoring;
机译:实时系统:正式规范和自动验证
机译:用于移动和无处不在系统的实时嵌入式软件的自动综合和验证
机译:自动验证具有离散概率分布的实时系统
机译:通过茂物模型检查工具自动验证uml状态图:网络和分布式系统的自动形式验证
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:迁移检查工具:在治疗管理系统升级和数据库迁移之后自动进行计划验证
机译:Uppaal-用于自动验证实时系统的工具套件
机译:实时专家系统自动验证工具