400-888-1571 [ 登錄/注冊(cè) ] 購(gòu)物車(chē)(0)

首頁(yè) > 期刊 > 北京大學(xué)學(xué)報(bào)·自然科學(xué)版 > 實(shí)時(shí)嵌入式軟件時(shí)間抽象狀態(tài)機(jī)的擴(kuò)展【正文】

實(shí)時(shí)嵌入式軟件時(shí)間抽象狀態(tài)機(jī)的擴(kuò)展

需求建模語(yǔ)言實(shí)時(shí) 嵌入式軟件形式化定義擴(kuò)展

作者：單錦輝; 張路; 王金波; 張濤華為技術(shù)有限公司; 深圳518129; 北京大學(xué)信息科學(xué)技術(shù)學(xué)院; 北京100871; 中國(guó)科學(xué)院空間應(yīng)用工程與技術(shù)中心; 北京100094

摘要：

注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢雜志社。

投稿咨詢期刊咨詢

北京大學(xué)學(xué)報(bào)·自然科學(xué)版雜志

北京大學(xué)學(xué)報(bào)·自然科學(xué)版雜志，雙月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅(jiān)持科學(xué)性、學(xué)術(shù)性、先進(jìn)性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：研究論文、研究簡(jiǎn)報(bào)等。于1955年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。

北大期刊
CSCD期刊
統(tǒng)計(jì)源期刊
1-3個(gè)月審核

雜志詳情

服務(wù)介紹LITERATURE

正規(guī)發(fā)表流程全程指導(dǎo)

多年專(zhuān)注期刊服務(wù)，熟悉發(fā)表政策，投稿全程指導(dǎo)。因?yàn)閷?zhuān)注所以專(zhuān)業(yè)。

保障正刊雙刊號(hào)

推薦期刊保障正刊，評(píng)職認(rèn)可，企業(yè)資質(zhì)合規(guī)可查。

用戶信息嚴(yán)格保密

誠(chéng)信服務(wù)，簽訂協(xié)議，嚴(yán)格保密用戶信息，提供正規(guī)票據(jù)。

不成功可退款

如果發(fā)表不成功可退款或轉(zhuǎn)刊。資金受第三方支付寶監(jiān)管，安全放心。

无码人妻视频一区二区三区免_精品久久久久久无码一区二区_国产成人一二三区免费看_在线播放国产一区二区三区

實(shí)時(shí)嵌入式軟件時(shí)間抽象狀態(tài)機(jī)的擴(kuò)展

北京大學(xué)學(xué)報(bào)·自然科學(xué)版雜志

相關(guān)期刊JOURNALS

時(shí)尚北京

北京醫(yī)藥

北京紡織

投資北京

北京中醫(yī)

北京測(cè)繪

服務(wù)介紹LITERATURE

正規(guī)發(fā)表流程全程指導(dǎo)

保障正刊雙刊號(hào)

用戶信息嚴(yán)格保密

不成功可退款

无码人妻视频一区二区三区免_精品久久久久久无码一区二区_国产成人一二三区免费看_在线播放国产一区二区三区

實(shí)時(shí)嵌入式軟件時(shí)間抽象狀態(tài)機(jī)的擴(kuò)展

北京大學(xué)學(xué)報(bào)·自然科學(xué)版雜志

相關(guān)期刊JOURNALS

時(shí)尚北京

北京醫(yī)藥

北京紡織

投資北京

北京中醫(yī)

北京測(cè)繪

服務(wù)介紹LITERATURE

正規(guī)發(fā)表流程 全程指導(dǎo)

保障正刊 雙刊號(hào)

用戶信息嚴(yán)格保密

不成功可退款

正規(guī)發(fā)表流程全程指導(dǎo)

保障正刊雙刊號(hào)