bib.howest.be Search Results

You searched for: Auteur Barthe, Gilles

1 - 10 of 10

1. Programming Languages and Systems

Author:: Barthe, Gilles; Kanade, Takeo; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2011
Format:: e-book

2. Trustworthy Global Computing

Author:: Barthe, Gilles; Fournet, Cédric; Fournet, C??dric.
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

3. Foundations of Security Analysis and Design V

Author:: Aldini, Alessandro; Barthe, Gilles; Gorrieri, Roberto; Kanade, Takeo
Publisher:: Springer Berlin Heidelberg 2009
Format:: e-book

4. Software Engineering and Formal Methods

Author:: Barthe, Gilles; Kanade, Takeo; Pardo, Alberto; Schneider, Gerardo
Publisher:: Springer Berlin Heidelberg 2011
Format:: e-book

5. Security and Trust Management

Author:: Cuellar, Jorge; Barthe, Gilles; Kanade, Takeo; López, Javier; Pretschner, Alexander
Publisher:: Springer Berlin Heidelberg 2011
Format:: e-book

6. Security and Trust Management

Author:: Barthe, Gilles. Markatos, Evangelos. Samarati, Pierangela.; Markatos, Evangelos; Samarati, Pierangela
Publisher:: Springer International Publishing 2016
Format:: e-book

7. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Author:: Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Muntean, Traian
Publisher:: Springer Berlin / Heidelberg 2005
Format:: e-book

8. Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Author:: Barthe, Gilles; Association for Computing Machinery-Digital Library.; Hermenegildo, Manuel; Kanade, Takeo; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2010
Format:: e-book

9. Formal Methods for Open Object-Based Distributed Systems

Author:: Barthe, Gilles; IFIP Working Group 6.1.; Boer, Frank S.; Boer, Frank S. de; Kanade, Takeo; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

10. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Author:: Barthe, Gilles; Institut national de recherche en informatique et en automatique (France); Grégoire, Benjamin; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Lanet, Jean-Luis
Publisher:: Springer Berlin / Heidelberg 2006
Format:: e-book