机译:走向aTEs开发系统中有限元软件的形式化规范和证明
Algorithms; Applications programs (Computers); Finite element method; Programming languages; Software engineering; Software tools; Specifications; Computerized simulation; Data bases; Data processing; Heat transfer; Logic programming; Proving;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:通过基于证明的细化对医疗系统进行正式规范
机译:电磁场问题有限元软件开发的正式UML相关软件工程方法
机译:混合系统的形式规范和时间证明技术
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:鞋类在Hallux Valgus发病机制中的作用:近期人类和Homo Naledi的概念验证有限元分析
机译:规范和证明的转换以支持演化的正式软件开发
机译:自适应并行有限元系统的形式化规范