×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [previous component]
Design Validation CSCI 5801: Software Engineering
219 views
20100522 software verification_sharygina_lecture02
196 views
Some Responses to the Education and Settlement needs of Young People from Refugee Backgrounds Victorian Foundation for Survivors of Torture Foundation
217 views
Verifying Component Substitutability
35 views
LECTURE 13: Backtracking
51 views
Dynamic Component Substitutability Analysis Edmund Clarke Natasha Sharygina* Nishant Sinha Carnegie Mellon University The University of Lugano
226 views
Algorithmics - Lecture 131 LECTURE 13: Backtracking
229 views
Compositional Verification of Evolving Component-based Systems Nishant Sinha ECE, CMU PhD Proposal Presentation
215 views
Dynamic Component Substitutability Analysis
35 views