Hoppa till sidans huvudinnehåll

Axel Legay – författare

Visar alla böcker från författaren Axel Legay.
11 produkter
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay - Model Checking Software, Häftad
Del 11636 - Lecture Notes in Computer Science

Model Checking Software

26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

AvFabrizio Biondi,Thomas Given-Wilsonm. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Valeria Bertacco, Axel Legay - Hardware and Software: Verification and Testing, Häftad
Del 8244 - Lecture Notes in Computer Science

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

AvValeria Bertacco,Axel Legay

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Axel Legay, Marius Bozga - Formal Modeling and Analysis of Timed Systems, Häftad
Del 8711 - Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems

12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

AvAxel Legay,Marius Bozga

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

Cyrille Artho, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis, Häftad
Del 9938 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

AvCyrille Artho,Axel Legaym. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay - Risks and Security of Internet and Systems, Häftad
Del 10158 - Lecture Notes in Computer Science

Risks and Security of Internet and Systems

11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

AvFrédéric Cuppens,Nora Cuppensm. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare - Models, Algorithms, Logics and Tools, Häftad
Del 10460 - Lecture Notes in Computer Science

Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

AvLuca Aceto,Giorgio Baccim. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro - Risks and Security of Internet and Systems, Häftad
Del 10694 - Lecture Notes in Computer Science

Risks and Security of Internet and Systems

12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

AvNora Cuppens,Frédéric Cuppensm. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Axel Legay, Saddek Bensalem - Runtime Verification, Häftad

Runtime Verification

4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

AvAxel Legay,Saddek Bensalem

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Saddek Bensalem, Yassine Lakhnech, Axel Legay - From Programs to Systems - The Systems Perspective in Computing, Häftad

From Programs to Systems - The Systems Perspective in Computing

ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

AvSaddek Bensalem,Yassine Lakhnechm. fl.

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

AvAxel Legay,Tiziana Margaria

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

AvAxel Legay,Tiziana Margaria

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar