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

Refine Results
  1. 21

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

    Published 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    Cover Image
  2. 22

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

    Published in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource


    Cover Image
  3. 23

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

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


    Cover Image

Search Tools: