Canlyniadau Chwilio - "Computer software Verification"

Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Verification, validation and testing in software engineering

Available for University of the Philippines Baguio with URL: http://go.galegroup.com/ps/i.do?id=GALE|9781591408536&v=2.1&u=phdiliman&it=aboutBook&p=GVRL&sw=w. Click here to request

Asynchronous circuit applications

Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy

Verification of systems and circuits using LOTOS, Petri Nets, and CCS gan Yoeli, Michael 1917-

Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal verification of control system software gan Garoche, Pierre-Loïc

Cael y testun llawn
Cael y testun llawn

HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA

HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

Formal system verification state-of-the-art and future trends

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Select...

Available for University of the Philippines Diliman via SpringerLink. Click here to access