Assume-guarantee tools for component-based software verification

DSpace/Manakin Repository

Assume-guarantee tools for component-based software verification

Show full item record

Title:	Assume-guarantee tools for component-based software verification
Author:	Pham, Hung Ngoc
URI:	http://hdl.handle.net/123456789/3394
Date:	2010

Files in this item

Files	Size	Format	View
2.85.pdf	48.47Kb	PDF	View/Open

This item appears in the following Collection(s)

Bài báo khoa học

Show full item record

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account