×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [finite state model]
fips1402.pdf
7 views
ppt
839 views
Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani Presented by Yifan Li (
[email protected]
) November 22nd In PLDI 01: Programming Language
235 views
May 7, 20031 Specification and Construction of Secure Distributed Collaboration Systems Anand Tripathi Department of Computer Science University of Minnesota,
218 views
VTU MTech digital syllabus
47 views
Real-Time Software Design Yonsei University 2 nd Semester, 2014 Sanghyun Park
213 views
Software Engineering Research paper presentation Ali Ahmad Formal Approaches to Software Testing Hierarchal GUI Test Case Generation Using Automated Planning
216 views
Software Engineering Research paper presentation
75 views
FIPS1402DTR
21 views