Search Results - "Formal methods (Computer science) Congresses."

Refine Results
  1. 11

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

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


    Cover Image
  2. 12

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

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


    Cover Image
  3. 13

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

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


    Cover Image
  4. 14

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

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


    Cover Image
  5. 15

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

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


    Cover Image
  6. 16

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

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


    Cover Image
  7. 17

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

    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


    Cover Image
  8. 18

    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


    Cover Image
  9. 19

    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


    Cover Image
  10. 20

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

    Published 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


    Cover Image

Search Tools: