Rewriting logic; Maude; Algebraic specification; Model checking; LTL; Abstractions;
机译:Fixpoint方程系统的抽象,达到技术和游戏
机译:Fortran 95/2003中Navier-Stokes方程的无网格抽象
机译:方程式抽象
机译:Consterexample引导抽象细化在公正抽象下更好
机译:修辞抽象作为预期响应的一个方面:结构方程建模分析。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:非线性常微分方程的解耦抽象
机译:等式抽象