Gửi-PDF.com

Original file name: Aspect-Oriented Modeling and Verification with Finite State Machines.pdf
This PDF 1.3 file has been produced by TeX output 2009.09.01:0949 / DVIPDFMx (20031116), Copyright © 2002 by Jin-Hwan Cho and Shunsaku Hirata, Copyright © 1998, 1999 by Mark A. Wicks, and has been uploaded on 2011/09/08 at 08:26, from IP address 94.249.*.*. This file download page has been viewed 3002 times.
Kích thước / Kích cỡ: 573 KB (13 trang).

Xem trước

Xu DX, El-Ariss O, Xu WF et al. Aspect-oriented modeling and verification with finite state machines. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 24(5): 949–961 Sept. 2009 Aspect-Oriented Modeling and Verification with Finite State Machines Dian-Xiang Xu1,4 (徐殿祥), Senior Member, IEEE, Omar El-Ariss2 , Wei-Feng Xu3 (许巍峰), Senior Member, IEEE and Lin-Zhang Wang4 (王林章), Member, CCF, ACM, IEEE 1

     [DOWNLOAD]   Tải về tập tin ngay   (PDF, 573 KB)

HTML Code - Sử dụng để liên kết đến trang web bất kỳ, blog, hoặc trang Myspace

<a href="https://www.gui-pdf.com/2011/09/08/aspect-oriented-modeling-and-verification-with-finite-state-mach/">tap tin pdf: Aspect-Oriented Modeling and Verification with Finite State Machines.pdf</a>

BB-Code - Sử dụng để liên kết đến diễn đàn BB

[url=https://www.gui-pdf.com/2011/09/08/aspect-oriented-modeling-and-verification-with-finite-state-mach/]tap tin pdf: Aspect-Oriented Modeling and Verification with Finite State Machines.pdf[/url]

Permanent link - Sử dụng để chia sẻ trên Facebook

https://www.gui-pdf.com/2011/09/08/aspect-oriented-modeling-and-verification-with-finite-state-mach/