Membrane computing; Kernel P systems Cruise control; Electric bike; Bicycle; Verification; Testing;
机译:国防建模与仿真杂志(JDMS)特刊:改造工程企业-数字工程和模块化开放系统方法的应用
机译:在基于模型的系统工程中管理模型间的不一致:在自动化生产系统工程中的应用
机译:管理基于模型的系统工程中的模型间不一致:在自动化生产系统工程中的应用
机译:对内核P系统中的工程应用程序进行建模和验证
机译:基于系统工程原理的企业范围内用于工程应用程序的统一成本建模框架
机译:用于临床应用的肺部生理模拟器验证的系统工程方法
机译:在内核P系统中建模和验证工程应用
机译:ada编译器验证摘要报告:证书编号:910711W1.11183 GsEGesellschaft fuer软件工程mbH meridian ada,版本4.1 sGI personal Iris W-4D25,=> sKYbolt 8116-V,sKYbolt Irix system V 3.3内核版本2.33