embedded systems design; OMG Essence standard; labor market requirements; learning path design; problem-based learning; system-level approach;
机译:将实时嵌入式系统正式化为Promela
机译:将实时嵌入式系统正式化为Promela
机译:用于嵌入式数据为主的应用程序的形式化三层系统级模型和重用方法
机译:演化形式不完全智能系统的脉动模型
机译:用于形式化嵌入式系统开发的面向对象的建模符号的通用框架。
机译:通过嵌入式研究促进学习型卫生系统:卫生保健系统研究网络第23届年会
机译:集成信息流程图和分析矩阵的形式化,以分析嵌入式系统中的意外障碍