机译:对处理器技术进行非侵入式运行时验证的硬件支持
LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal;
Hardware-based runtime verification;
机译:航空电子系统的非侵入式观察和运行时验证
机译:NORTH-网络物理系统的非侵入式观察和运行时验证
机译:片上系统中的非侵入式运行时验证
机译:具有嵌入式跟踪单元和流处理的基于硬件的运行时验证
机译:计算机支持交互:在信息技术支持环境中验证问题轨迹的过程模型
机译:用于监测药品单位操作的过程分析技术工具:连续流程验证的控制策略
机译:运行时文件系统支持BORpH中的可重配置FpGa硬件进程