Resultados de procura

Limitar resultados
  1. 1

    An introduction to formal program verification por Mili, Ali

    Publicado 1985
    Libro


    Imaxe de Portada
  2. 2

    Verifying and validating personal computer-based expert systems por Bahill, Terry

    Publicado 1991
    Libro


    Imaxe de Portada
  3. 3

    Asynchronous circuit applications

    Publicado 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


    Imaxe de Portada
  4. 4

    Principles of model checking por Baier, Christel

    Publicado 2008
    Table of contents only
    Libro


    Imaxe de Portada
  5. 5

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS por Yoeli, Michael 1917-

    Publicado 2008
    Libro


    Imaxe de Portada
  6. 6

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

    Publicado 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


    Imaxe de Portada
  7. 7

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

    Publicado 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


    Imaxe de Portada
  8. 8

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

    Publicado 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


    Imaxe de Portada
  9. 9

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

    Publicado 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


    Imaxe de Portada
  10. 10

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

    Publicado 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


    Imaxe de Portada

Ferramentas de procura: