Näytetään 11 - 20 yhteensä 44 tuloksesta haulle '"Computer software Verification"', hakuaika: 0,02s Tarkenna hakua
  1. 11

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

    Julkaistu 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. 12

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

    Julkaistu 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
  3. 13

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

    Julkaistu 2014
    Kirja

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

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

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

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

    Julkaistu 2013
    Kirja

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

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

    Julkaistu 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
  7. 17

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

    Julkaistu 2012
    Kirja

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

    Software engineering reviews and audits Tekijä Summers, Boyd L.

    Julkaistu 2011
    Kirja

    Software engineering reviews and audits
  9. 19

    Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings

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

    Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings
  10. 20

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

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

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Työkalut: