-
1
Authentication of embedded devices technologies, protocols and emerging applications
Published 2021Also 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
Electronic Resource -
2
System Verilog assertions and functional coverage guide to language, methodology and applications
Published 2020Available 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
Electronic Resource -
3
Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
Published 2020Available 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
Electronic Resource -
4
-
5
-
6
ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies
Published 2018Available 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
Electronic Resource -
7
Formal system verification state-of-the-art and future trends
Published 2018Available 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
Electronic Resource -
8
Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
Published 2018Available 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
Electronic Resource -
9
Automated validation & verification of UML/OCL models using satisfiability solvers
Published 2018Available 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
Electronic Resource -
10
SysML for systems engineering a model-based approach
Published 2018Available 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
Electronic Resource