Artificial intelligence; Validation; Computer program verification; Collection; Contracts; Dictionaries; Documents; Models; Programmers; Textbooks; Life cycles; Software engineering; Software tools; Debugging(Computers);
机译:用于提前验证,验证和认证的非确定性,基于AI的算法的新框架,以为安全关键应用
机译:验证使用PC-Crash软件创建的道路交通事故模拟。
机译:分段式正畸中的专业弹簧设计:专用软件的进一步验证。
机译:关于AI导航算法的验证与验证
机译:自适应软件的运行时验证和确认框架。
机译:验证和验证AI系统
机译:关于AI导航算法的验证与验证
机译:计算机软件生命周期验证,验证和测试指南。类别:软件。子类别:验证,验证和测试