中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
2047-7473
刊名
Journal of Software
参考译名
软件杂志:发展和进程
收藏年代
2011~2025
关联期刊
参考译名
收藏年代
Journal of Software Maintenance and Evolution
软件维护和发展杂志:研究与实践
2010~2010
Software Process Improvement and Practice
软件处理的改进与实践
2002~2009
全部
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2020, vol.32, no.1
2020, vol.32, no.10
2020, vol.32, no.11
2020, vol.32, no.12
2020, vol.32, no.2
2020, vol.32, no.3
2020, vol.32, no.4
2020, vol.32, no.5
2020, vol.32, no.6
2020, vol.32, no.7
2020, vol.32, no.8
2020, vol.32, no.9
题名
作者
出版年
年卷期
Analysing encryption mechanisms and functional safety in a ROS‐based architecture
Larrucea Xabier; González‐Nalda Pablo; Etxeberria‐Agiriano Ismael; Otero Mari Carmen
2020
2020, vol.32, no.2
Security assessment of data management systems for cyber physical system applications
Chaudhry Natalia; Yousaf Muhammad Murtaza; Khan Muhammad Taimoor
2020
2020, vol.32, no.2
A security risk mitigation framework for cyber physical systems
Zahid Maryam; Inayat Irum; Daneva Maya; Mehmood Zahid
2020
2020, vol.32, no.2
Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks
Benyagoub Sarah; A?t‐Ameur Yamine; Ouederni Meriem; Mashkoor Atif; Medeghri Ahmed
2020
2020, vol.32, no.2
Design and validation of a C++ code generator from Abstract State Machines specifications
Bonfanti Silvia; Gargantini Angelo; Mashkoor Atif
2020
2020, vol.32, no.2
Security‐ and safety‐critical cyber‐physical systems
Mashkoor Atif; Sametinger Johannes; Biro Miklós; Egyed Alexander
2020
2020, vol.32, no.2
Issue Information
2020
2020, vol.32, no.2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024