Torthaí cuardaigh - "Computer software Verification"

Beachtaigh na torthaí
  1. 31

    Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  2. 32

    SysML for systems engineering a model-based approach de réir Holt, Jon, Perry, Simon

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  3. 33

    SysML for systems engineering a model-based approach de réir Holt, Jon, Perry, Simon

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  4. 34

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

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  5. 35

    Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  6. 36

    Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  7. 37

    NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  8. 38

    Model-based requirements engineering de réir Holt, Jon, Perry, Simon A., Brownsword, Mike

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  9. 39

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

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  10. 40

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

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh

Uirlisí cuardaigh: