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 حسب 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 حسب Bayaga, Cecile Leah T., Gabriel, Alonzo A., Bongga, Demetria C., Pico, Marietoni B., Barrios, Erniel B.

احصل على النص الكامل

Formal verification of control system software حسب Garoche, Pierre-Loïc

احصل على النص الكامل
احصل على النص الكامل

ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies حسب 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 حسب 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 حسب 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