DocumentCode
12098
Title
Specifying and Verifying Collaborative Behavior in Component-Based Systems
Author
James D. Arthur استاد مشاور , Stephen Edwards استاد راهنما , Binoy Ravindran استاد مشاور , J.A.N. Lee استاد مشاور
University
Virginia Polytechnic Institute and state University
Grade
نامعلوم
Major
PhD )Computer Science(
Number of pages
0
Publish Date
2002
Keyword
Validation , reuse , Verification , collaborative behavior , component-based
Note
01
Language
انگليسي
Link To Document