基于UML與Petri網(wǎng)的嵌入式系統(tǒng)設(shè)計與驗證
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>1787 K
所需積分：0分積分不夠怎么辦？
文檔介紹：提出了一種基于UML與Petri網(wǎng)的嵌入式系統(tǒng)設(shè)計與驗證的方法，詳細討論了該方法的主要應(yīng)用流程，并給出了一個應(yīng)用實例。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。