Title: Using Aspect-Oriented Programming for Trustworthy Software Development, Author: Vladimir O. Safonov
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Author: Anca Vermesan
Title: Verification and Validation for Quality of UML 2.0 Models, Author: Bhuvan Unhelkar
Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, Author: Michael Yoeli

Pagination Links