Showing 1 - 18 results of 18 for search 'Barthe, Gilles, 1967-', query time: 0.07s Refine Results
  1. 1
    Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers /

    Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers /

    Published 2006
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Internet Archive)
    Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Construction and analysis of safe, secure, and interoperable smart devices second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers /

    Construction and analysis of safe, secure, and interoperable smart devices second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers /

    Published 2006
    Other Authors: “…Barthe, Gilles, 1967-…”
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  3. 3
    Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /

    Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /

    Published 2002
    Other Authors: “…Barthe, Gilles, 1967-…”
    Book
    Save to List
    Saved in:
  4. 4
    Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

    Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

    Published 2005
    Other Authors: “…Barthe, Gilles, 1967-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  5. 5
    Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

    Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

    Published 2005
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Construction and analysis of safe, secure, and interoperable smart devices international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

    Construction and analysis of safe, secure, and interoperable smart devices international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

    Published 2005
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Construction and analysis of safe, secure, and interoperable smart devices second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers /

    Construction and analysis of safe, secure, and interoperable smart devices second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers /

    Published 2006
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /

    Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /

    Published 2002
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Programming languages and systems 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings /

    Programming languages and systems 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011,...

    Published 2011
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /

    Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /

    Published 2010
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Trustworthy global computing third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers /

    Trustworthy global computing third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers /

    Published 2008
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /

    Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /

    Published 2008
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers /

    Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers /

    Published 2012
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /

    Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /

    Published 2011
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    Engineering secure software and systems 4th international symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings /

    Engineering secure software and systems 4th international symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings /

    Published 2012
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  16. 16
    Foundations of security analysis and design V FOSAD 2007/2008/2009 tutorial lectures /

    Foundations of security analysis and design V FOSAD 2007/2008/2009 tutorial lectures /

    Published 2009
    Other Authors:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  17. 17
    Foundations of probabilistic programming /

    Foundations of probabilistic programming /

    Published 2021
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Cambridge)
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    Security and trust management : 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /

    Security and trust management : 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /

    Published 2016
    Other Authors: “…Barthe, Gilles, 1967-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search