×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [various formal models]
Paper Discussion Design of Embedded Systems: Formal Methods, Validation, and Synthesis Mark McKelvin Vito Dai
216 views
CPSC 411 Design and Analysis of Algorithms Set 11: NP-Completeness Prof. Jennifer Welch Spring 2011 CPSC 411, Spring 2011: Set 11 1
223 views
Paper Discussion Design of Embedded Systems: Formal Methods, Validation, and Synthesis
35 views