Authentication of embedded devices technologies, protocols and emerging applications

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

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

System Verilog assertions and functional coverage guide to language, methodology and applications por Mehta, Ashok B.

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

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

Development and evaluation of a culturally sensitive food frequency questionnaire for the assessment of prebiotic and probiotic intake of urban-living, low-to-medium-income women por Bayaga, Cecile Leah T., Gabriel, Alonzo A., Bongga, Demetria C., Pico, Marietoni B., Barrios, Erniel B.

Obter o texto integral

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

Obter o texto integral
Obter o texto integral

ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies por Mehta, Ashok B.

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

SysML for systems engineering a model-based approach por Holt, Jon, Perry, Simon

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

Automated validation & verification of UML/OCL models using satisfiability solvers por Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

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

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