Showing 21 - 30 results of 242 for search '"Verification."', query time: 0.02s Refine Results
  1. 21

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

    Published 2016
    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 2015
  2. 22

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

    Published 2016
    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

    SystemVerilog assertions and functional coverage guide to language, methodology and applications
  3. 23

    HEXIG Hybrid Extreme Rotation Forest for offline signature verification by Cordero, Kenver R.

    Published 2016
    Thesis

    HEXIG Hybrid Extreme Rotation Forest for offline signature verification
  4. 24

    Counterfeit integrated circuits detection and avoidance by Tehranipoor, Mohammad H. 1974-, Guin, Ujjwal, Forte, Domenic

    Published 2015
    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

    Counterfeit integrated circuits detection and avoidance
  5. 25

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

    Published 2015
    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 2013
  6. 26

    HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA

    Published 2014
    Book

    HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
  7. 27

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

    Published 2013
    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. 28

    HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

    Published 2013
    Book

    HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
  9. 29

    Model-based requirements engineering by Holt, Jon, Perry, Simon A., Brownsword, Mike

    Published 2012
    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

    Model-based requirements engineering
  10. 30

    HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts

    Published 2012
    Book

    HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts

Search Tools: