机译:微控制器上OCaml字节码的WCET:一种自动化方法及其形式化
Worst-case execution timemicrocontrollerssynchronous programmingbytecodeOCaml;
机译:从字节码到JavaScript:Js_of_ocaml编译器
机译:正式的EMFTVM字节码语言,用于模型转换的声音验证
机译:Dalvik字节码的形式化和分析
机译:OCaml-Java:从OCaml源代码到Java字节码
机译:使用DNA编码的微控制器工程自动化机电系统
机译:微控制器辅助补偿三磷酸腺苷水平:仪器和方法开发
机译:在基于微控制器的自动售货机中使用QR码的非现金支付方法
机译:自动生成微控制器