- ECU Libraries Catalog

Start Over

You searched for: author_facet Barthe, Gilles

Showing 1 - 10 of 12 results

Search Results

Cover image for 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

by Barthe, Gilles
2016
Format: Electronic

Location
Access Content Online

Cover image for Software engineering and formal methods

Software engineering and formal methods

by International Conference on Software Engineering and Formal Methods
2011
Format: Electronic

Location
Access Content Online

Cover image for Programming Languages and Systems

Programming Languages and Systems

by Barthe, Gilles
2011
Format: Electronic

Location
Access Content Online

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

by VMCAI 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for Foundations of security analysis and design V

Foundations of security analysis and design V

2009
Format: Electronic

Location
Access Content Online

Cover image for Trustworthy global computing

Trustworthy global computing

by TGC 2007
2008
Format: Electronic

Location
Access Content Online

Cover image for Construction and analysis of safe, secure, and interoperable smart devices

Construction and analysis of safe, secure, and interoperable smart devices

by CASSIS (Conference)
2006
Format: Electronic

Location
Access Content Online

Cover image for Construction and analysis of safe, secure, and interoperable smart devices

Construction and analysis of safe, secure, and interoperable smart devices

by CASSIS 2005
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	TK7895.S62 C377 2005	✔ Available

Cover image for Construction and analysis of safe, secure, and interoperable smart devices

Construction and analysis of safe, secure, and interoperable smart devices

by CASSIS (Conference)
2005
Format: Electronic

Location
Access Content Online

Cover image for Construction and analysis of safe, secure, and interoperable smart devices

Construction and analysis of safe, secure, and interoperable smart devices

by CASSIS (Conference)
2005
Format: Electronic

Location
Access Content Online