×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [use of formal methods]
Software Guidance for DS 00-56 Issue 3 John McDermid
220 views
©Ian Sommerville 2000Software Engineering, 6/e, Chapter 91 Formal Specification l Techniques for the unambiguous specification of software
219 views
CR ST CREST Centre of Excellence in Formal Methods in Programming 2003-04 Ralph Back Director
214 views
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 1 Critical Systems Specification 3 Formal Specification
220 views
Computing and SE II Chapter 12: Software Testing Er-Yu Ding Software Institute, NJU
221 views
Overview of Formal Methods. Topics Introduction and terminology FM and Software Engineering Applications of FM Propositional and Predicate Logic Program
219 views
Comparative Formal Methods
424 views
CREST Centre of Excellence in Formal Methods in Programming 2003-04
25 views
Special Topics in Computational Biology: Formal Methods in Systems Biology Chris Langmead Department of Computer Science Carnegie Mellon University James
216 views
Overview of Formal Methods
72 views
Formal Methods
70 views
Special Topics in Computational Biology : Formal Methods in Systems Biology
59 views
< Prev
Next >