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

Preuzmi cijeli tekst

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

Preuzmi cijeli tekst
Preuzmi cijeli tekst

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