|
1
|
带有二路安全性能源管理的小型水下机器人嵌入式集成系统研究 |
张昭
陈宏
何莉
巩伟杰
|
《仪表技术与传感器》
北大核心
|
2025 |
0 |
|
|
2
|
嵌入式系统的需求描述综述 |
陈小红
刘少彬
金芝
|
《软件学报》
北大核心
|
2025 |
2
|
|
|
3
|
基于嵌入式系统的采摘机器人作业控制研究 |
范江波
|
《农机化研究》
北大核心
|
2025 |
3
|
|
|
4
|
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究 |
黄传林
黄志球
胡军
徐丙凤
曲长亮
|
《小型微型计算机系统》
CSCD
北大核心
|
2015 |
5
|
|
|
5
|
基于嵌入式系统的辣椒采摘机器人设计 |
刘锦辉
余江
熊铎云
林钰贵
徐芷婷
董振烨
|
《南方农机》
|
2025 |
0 |
|
|
6
|
一种针对嵌入式系统的安全性分析方法 |
杨波
刘振
卫新洁
吴际
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2023 |
0 |
|
|
7
|
嵌入式机载软件安全性分析标准、方法及工具研究综述 |
黄志球
徐丙凤
阚双龙
胡军
陈哲
|
《软件学报》
EI
CSCD
北大核心
|
2014 |
66
|
|
|
8
|
基于投影的嵌入式系统需求分析方法 |
王小齐
陈小红
金芝
顾斌
綦艳霞
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
9
|
模型驱动的嵌入式系统设计安全性验证方法研究 |
刘雪
胡军
黄志球
马金晶
程桢
石娇洁
|
《计算机工程与科学》
CSCD
北大核心
|
2015 |
2
|
|
|
10
|
关键安全性分布嵌入式系统测试平台研究(英文) |
黄强
史大昱
纪震
|
《深圳大学学报（理工版）》
EI
CAS
北大核心
|
2005 |
0 |
|
|
11
|
基于TrustZone的嵌入式系统安全性研究 |
萨其日娜
谢晓尧
刘天昭
|
《贵州师范大学学报（自然科学版）》
CAS
|
2011 |
2
|
|
|
12
|
面向AltaRica模型的嵌入式系统安全性验证方法 |
仵志鹏
胡军
陈松
石娇洁
|
《计算机科学与探索》
CSCD
北大核心
|
2017 |
1
|
|
|
13
|
嵌入式舰船电子信息防御系统的安全性优化方法 |
薛潇
|
《舰船科学技术》
北大核心
|
2019 |
0 |
|
|
14
|
一种安全攸关嵌入式系统需求追踪方法 |
王飞
黄志球
杨志斌
阚双龙
沈国华
陈光颖
|
《计算机学报》
EI
CSCD
北大核心
|
2018 |
7
|
|
|
15
|
嵌入式系统及其开发领域典型特征分析 |
王庆江
董渭清
张琳
王立
杨雪霏
|
《计算机应用研究》
CSCD
北大核心
|
2002 |
14
|
|
|
16
|
机载嵌入式软件的安全性机制研究 |
李亚晖
张亚棣
郭鹏
|
《通信学报》
EI
CSCD
北大核心
|
2015 |
6
|
|
|
17
|
基于AES-128密码算法的嵌入式系统安全 |
黄灿英
汪莹
陈艳
|
《沈阳工业大学学报》
EI
CAS
北大核心
|
2020 |
6
|
|
|
18
|
嵌入式系统硬件可靠性Copula方法建模与分析 |
郭荣佐
樊相奎
崔冬霞
黎明
|
《计算机应用》
CSCD
北大核心
|
2015 |
3
|
|
|
19
|
可重构嵌入式系统安全启动流程设计与实现 |
温圣军
张鲁国
|
《计算机工程》
CAS
CSCD
北大核心
|
2009 |
2
|
|
|
20
|
嵌入式控制系统程序模式的自动分析方法 |
姬孟洛
舒云星
黄辰林
高翔
陶荣
|
《计算机工程与科学》
CSCD
北大核心
|
2017 |
1
|
|
