Showing 1 - 10 results of 66 for search '', query time: 0.04s Refine Results
  1. 1

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

    Published 2020
    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
    Electronic Resource

    System Verilog assertions and functional coverage guide to language, methodology and applications
  2. 2

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018

    Published 2020
    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
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
  3. 3

    Asynchronous circuit applications

    Published 2019
    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
    Electronic Resource

    Asynchronous circuit applications
  4. 4

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

    Published 2019
    Get full text
    Analytics

    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
  5. 5

    Formal system verification state-of-the-art and future trends

    Published 2018
    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
    Electronic Resource

    Formal system verification state-of-the-art and future trends
  6. 6

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016

    Published 2018
    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
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
  7. 7

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

    Published 2018
    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
    Electronic Resource

    SysML for systems engineering a model-based approach
  8. 8

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

    Published 2018
    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
    Electronic Resource

    ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies
  9. 9

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

    Published 2018
    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
    Electronic Resource

    Automated validation & verification of UML/OCL models using satisfiability solvers
  10. 10

    Embedded software verification and debugging

    Published 2017
    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
    Electronic Resource

    Embedded software verification and debugging

Search Tools: