Showing 11 - 20 results of 929 for search '', query time: 0.19s Refine Results
  1. 11
    Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
    Published 2009

    Conference Proceeding Book
    Save to List
    Saved in:
  2. 12
    Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
    Published 2009

    Conference Proceeding Book
    Save to List
    Saved in:
  3. 13
    Formal methods for components and objects : 6th international symposium FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, revised papers /
    Published 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  4. 14
    Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /
    Published 1998

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  5. 15
    Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /
    Published 2004

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  6. 16
    Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings /
    Published 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  7. 17
    Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers /
    Published 2009

    Conference Proceeding Book
    Save to List
    Saved in:
  8. 18
    Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
    Published 2009

    Conference Proceeding Book
    Save to List
    Saved in:
  9. 19
    Java software development with event B : a practical guide /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
  10. 20
    Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
    Published 2002

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search