Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >

Items for Author "Pham, Ngoc Hung"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 3 items.

Date of IssueTitle Authors
Sep-2006 モデル検査によるコンポーネントベースシステム検証へのアプローチPham, Ngoc Hung
Sep-2009 Assume-Guarantee Verification of Evolving Component-Based SoftwarePham, Ngoc Hung; Pham, Ngoc Hung
Sep-2009 Assume-Guarantee Verification of Evolving Component-Based SoftwarePham, Ngoc Hung; Pham, Ngoc Hung

 
Contact : JAIST Library (ir-sys[at]ml.jaist.ac.jp)