首頁
新聞
業(yè)界動態(tài)
新品快遞
高端訪談
AET原創(chuàng)
市場分析
圖說新聞
會展
專題
期刊動態(tài)
設計資源
設計應用
解決方案
電路圖
技術專欄
資源下載
PCB技術中心
在線工具庫
技術頻道
模擬設計
嵌入式技術
電源技術
可編程邏輯
測試測量
通信與網絡
行業(yè)頻道
工業(yè)自動化
物聯(lián)網
通信網絡
5G
數據中心
信息安全
汽車電子
大學堂
期刊
文獻檢索
期刊投稿
登錄
注冊
首頁
形式化规范
形式化规范 相關文章(1篇)
形式化规范在软件可靠性早期估计中的应用研究
發(fā)表于：2011/9/20 下午2:57:53
<
1
>
活動
MORE
【热门活动】2025年基础电子测试测量方案培训
【技术沙龙】可信数据空间构建“安全合规的数据高速公路”
【下载】5G及更多无线技术应用实战案例
【通知】2025第三届电子系统工程大会调整时间的通知
【征文】2025电子系统工程大会“数据编织”分论坛征文通知
熱點專題
MORE
技術專欄
MORE
2023进阶电子测试测量仪器系列培训第十一讲上：矢量网络分析仪的原理与操作
2023进阶电子测试测量仪器系列培训第十讲下：数字源表的应用与选型
2023进阶电子测试测量仪器系列培训第十讲：数字源表的原理与操作
免费送书|好书推荐第七弹——《CTF实战：技术、解题与进阶》
盘点国内Cortex-M内核MCU厂商高主频产品(2023版)
Linux教学——带你快速对比SPI、UART、I2C通信的区别与应用！
下載
MORE
上市公司数据资产入表分析——以A股上市公司年报为例
企业数据资产入表统计监测体系研究
强化学习评估指标的系统性分析与优化研究
基于ESP32嵌入式Web服务器的手机化仪表设计
数据质量高效校验方法研究
基于RK3588与ZYNQ的双光图像处理平台设计与研究
基于混合专家模型的云原生教育培训平台动态安全防御体系研究
熱門技術文章
基于FPGA的音频Sigma-Delta调制器设计与实现
一种电缆终端头红外识别算法的FPGA实现研究
MR-VMU-RT1176解决方案简化移动机器人设计，并提升其性能
基于手势识别的视力检测系统设计
基于FPGA的梳状谱通信干扰信号设计与研究
一种基于DRSN-GAN的通信信号调制识别方法
網站相關
關于我們
聯(lián)系我們
投稿須知
廣告及服務
內容許可
廣告服務
雜志訂閱
會員與積分
積分商城
會員等級
會員積分
VIP會員
關注我們
Copyright ? 2005-
2024
華北計算機系統(tǒng)工程研究所版權所有
京ICP備10017138號-2
