57 results Refine Results
  1. 41
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal techniques for networked and distributed systems FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
  2. 42
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal techniques for networked and distributed systems, FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
  3. 43
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
  4. 44
    Published 2017
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    The handbook of formal methods in human-computer interaction /
  5. 45
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
  6. 46
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Integrated formal methods 5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings /
  7. 47
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
  8. 48
    Published 2009
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings /
  9. 49
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    International symposium on fundamentals of software engineering international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings /
  10. 50
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
  11. 51
    Published 2009
    Table of contents only
    Book
    Save to List
    Saved in:
    Process algebra for parallel and distributed processing /
  12. 52
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Quality of software architectures and software quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings /
  13. 53
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
  14. 54
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings /
  15. 55
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings /
  16. 56
    Published 2009
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Web services and formal methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 : revised selected papers /
  17. 57
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings /

Search Tools: