Hakutulokset - "Formal methods."

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

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Principles of cyber-physical systems Tekijä Alur, Rajeev

Hae kokoteksti
Hae kokoteksti

Invariants and state in testing and formal methods. Tekijä Hamlet, Dick

Object-oriented systems analysis and design using UML Tekijä Bennett, Simon

Heuristic-guided counterexample search in FLAVERS. Tekijä Tan, Jianbin

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

Available for University of the Philippines Diliman via SpringerLink. Click here to access

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

Available for University of the Philippines Diliman via SpringerLink. Click here to access

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

Available for University of the Philippines Diliman via SpringerLink. Click here to access

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

Available for University of the Philippines Diliman via SpringerLink. Click here to access

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

Available for University of the Philippines Diliman via SpringerLink. Click here to access