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