Suggested Topics within your search.
Showing 1 - 20 results of 79 for search '"Formal methods (Computer science)."', query time: 0.03s Refine Results
  1. 1
    Leveraging applications of formal methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
    Published 2006
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Formal methods for industrial critical systems a survey of applications
    Published 2013
    Subjects: “…Formal methods (Computer science) 20472…”
    Book
    Save to List
    Saved in:
  3. 3
    Formal methods for industrial critical systems a survey of applications
    Published 2013
    Subjects: “…Formal methods (Computer science) 20472…”
    Book
    Save to List
    Saved in:
  4. 4
    Domain modeling-based software engineering : a formal approach /
    by Rukian, Lu
    Published 2000
    Subjects: “…Formal methods (Computer science).…”
    Book
    Save to List
    Saved in:
  5. 5
    Dynamic logic /
    by Harel, David
    Published 2000
    Subjects: “…Formal methods (Computer science).…”
    Book
    Save to List
    Saved in:
  6. 6
    Synchronous equivalence : formal methods for embedded systems /
    by Hsieh, Harry
    Published 2001
    Subjects: “…Formal methods (Computer science).…”
    Book
    Save to List
    Saved in:
  7. 7
    Constructing correct software /
    by Cooke, John
    Published 2008
    Subjects: “…Formal methods (Computer science).…”
    Book
    Save to List
    Saved in:
  8. 8
    Software specification methods /
    Published 2006
    Subjects: “…Formal methods (Computer science).…”
    Book
    Save to List
    Saved in:
  9. 9
    Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
    Published 2012
    Subjects: “…Formal methods (Computer science).…”
    Book
    Save to List
    Saved in:
  10. 10
    Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Click here to view the full text content
    eBook
    Save to List
    Saved in:
  11. 11
    Web services and formal methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
    Published 2006
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Design patterns formalization techniques /
    Published 2007
    Subjects: “…Formal methods (Computer science).…”
    Book
    Save to List
    Saved in:
  14. 14
    Domain modeling-based software engineering : a formal approach /
    by Rukian, Lu
    Published 2000
    Subjects: “…Formal methods (Computer science). 38711…”
    Book
    Save to List
    Saved in:
  15. 15
    Formal methods and software engineering /
    Published 2005
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Conference Proceeding Book
    Save to List
    Saved in:
  16. 16
    Formal models of agents : ESPRIT Project ModelAge final workshop selected papers /
    Published 1999
    Subjects: “…Formal methods (Computer science).…”
    Book
    Save to List
    Saved in:
  17. 17
    Formal approaches to software testing and runtime verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
    Published 2006
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  18. 18
    Formal approaches to software testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers /
    Published 2005
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Springer Link
    Conference Proceeding Book
    Save to List
    Saved in:
  19. 19
    Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
    Published 2006
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Integration of AI and OR techniques in constraint programming for combinatorial optimization problems (vol. # 3990) Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings /
    Published 2006
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search