资源列表
[软件工程] 2.-Model-Checking-more-in-depth
说明:Security analysis and verification by model checking tools<Jal> 在 2025-06-06 上传 | 大小:84kb | 下载:0
[软件工程] 3.-Case-Study-1---Web-Security
说明:Security analysis and verification by model checking tools<Jal> 在 2025-06-06 上传 | 大小:169kb | 下载:0
[软件工程] 4.-Case-Study-2---MOPS
说明:Security analysis and verification by model checking tools<Jal> 在 2025-06-06 上传 | 大小:278kb | 下载:0
[软件工程] 9.Home-intruder-alert-system-using-GMAIL
说明:this document is intruder using gmail<jeyram> 在 2025-06-06 上传 | 大小:1.08mb | 下载:0
[软件工程] PROTECTION
说明:Protection calculation MV networks. Directed by GASMI BELKACEM<bgbgbg> 在 2025-06-06 上传 | 大小:1.56mb | 下载:0
[软件工程] multitasking
说明:用多个例子将单片机任务调度,释放CPU等内容讲解得非常后-With a number of examples of the SCM task scheduling, freeing the CPU and other content to explain the very back<李悦城> 在 2025-06-06 上传 | 大小:1.96mb | 下载:0
[软件工程] handlingArray
说明:实现数组常见操作,包括: (使用输入值初始化数组) (使用随机数初始化数组) (打印数组) (对所有元素求和) (找出最大元素) (找出最大元素的最小下标值) (随意打乱) (移动元素) -Implementing common operations of array, including: (Use input values to initialize the array) (using a random number to<zpy> 在 2025-06-06 上传 | 大小:144kb | 下载:0
[软件工程] Mitsubishi-PLC
说明:使用三菱PLC设计的仿真红绿灯,有程序框图,梯形图-Mitsubishi PLC design simulation using traffic lights<lele> 在 2025-06-06 上传 | 大小:36kb | 下载:0