×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [finite state model]
Home >
finite state model
fips1402.pdf
6 views
.ppt
837 views
Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani Presented by Yifan Li (
[email protected]
) November 22nd In PLDI 01: Programming Language.
233 views
May 7, 20031 Specification and Construction of Secure Distributed Collaboration Systems Anand Tripathi Department of Computer Science University of Minnesota,
217 views
VTU MTech digital syllabus
48 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.
214 views
Software Engineering Research paper presentation
74 views
FIPS1402DTR
21 views