खोज परिणाम - "Formal methods."

परिणाम को परिष्कृत करें
  1. 21

    FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    कवर छवि
  2. 22

    Principles of cyber-physical systems द्वारा Alur, Rajeev

    प्रकाशित 2015
    पूर्ण पाठ प्राप्त करें
    पूर्ण पाठ प्राप्त करें
    Electronic Resource


    कवर छवि
  3. 23

    Invariants and state in testing and formal methods. द्वारा Hamlet, Dick

    में प्रकाशित Software engineering notes.
    लेख


    कवर छवि
  4. 24

    Object-oriented systems analysis and design using UML द्वारा Bennett, Simon

    प्रकाशित 2002
    पुस्तक


    कवर छवि
  5. 25

    Heuristic-guided counterexample search in FLAVERS. द्वारा Tan, Jianbin

    में प्रकाशित Software engineering notes.
    लेख


    कवर छवि
  6. 26

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

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    कवर छवि
  7. 27

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

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    कवर छवि
  8. 28

    Formal grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    कवर छवि
  9. 29

    Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Icelan...

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    कवर छवि
  10. 30

    Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    कवर छवि

खोज साधन: