News
把外部市場(chǎng)高水平“引進(jìn)來(lái)”,推動(dòng)中心高質(zhì)量“走出去”
2022-08-22
近日，上海市科學(xué)技術(shù)委員會(huì)發(fā)布《2021上?？萍汲晒D(zhuǎn)化白皮書(shū)》，上?？匕沧匝挟a(chǎn)品“智能嵌入式單元測(cè)試用例設(shè)計(jì)工具軟件”入選《白皮書(shū)》企業(yè)成果轉(zhuǎn)化政策實(shí)踐案例。
2022-08-19
掃描已知的漏洞、安全隱患和許可證風(fēng)險(xiǎn)
2022-08-15
車(chē)載CAN、CANFD總線(xiàn)滲透測(cè)試
2022-08-10
雙方就技術(shù)合作、項(xiàng)目拓展、市場(chǎng)推廣等方面工作內(nèi)容展開(kāi)深入交流探討。
2022-08-10
8月8日，上海工業(yè)控制安全創(chuàng)新科技有限公司與上海南壁新能源科技有限公司戰(zhàn)略合作簽約儀式順利舉辦。
2022-08-09
一鍵式解析形式化安全需求描述，支持自動(dòng)驗(yàn)證安全需求
2022-08-08
SmartRocket Modeler可視化建模開(kāi)發(fā)工具支持可視化模型設(shè)計(jì)與驗(yàn)證、有效C代碼自動(dòng)生成。
2022-08-03
SmartRocket TestGrid嵌入式軟件智能化測(cè)試工具支持國(guó)軍標(biāo)、MISRA 等靜態(tài)分析、C/C++語(yǔ)言的單元測(cè)試和集成測(cè)試
2022-08-01
加快技術(shù)應(yīng)用推廣與價(jià)值空間挖掘，全面推進(jìn)我國(guó)科技產(chǎn)業(yè)邁入高質(zhì)量發(fā)展新時(shí)代
2022-08-01
