Resultados de búsqueda - "Formal methods (Computer science)."

Languages, design methods, and tools for electronic system design selected contributions from FDL 2016

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

Languages, design methods, and tools for electronic system design selected contributions from FDL 2018

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

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

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

Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

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