bib.howest.be Zoekresultaten

U zocht naar: Auteur Axel Legay

1 - 8 van 8

1. From Programs to Systems. The Systems perspective in Computing

Auteur:: Saddek Bensalem, Yassine Lakhneck, Axel Legay; Lakhnech, Yassine; Legay, Axel
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

2. Hardware and Software: Verification and Testing

Auteur:: Bertacco, Valeria; Legay, Axel; Legay, Axel
Uitgever:: Springer International Publishing 2013
Type:: e-book

3. Risks and Security of Internet and Systems

Auteur:: Cuppens; Axel Legay; Frédéric Cuppens; Jean-Louis Lanet; Joaquin Garcia-Alfaro; Cuppens, édéric; Garcia-Alfaro, Joaquin; Lanet, Jean-Louis; Legay, Axel
Uitgever:: Springer International Publishing 2018
Type:: e-book

4. Automated Technology for Verification and Analysis

Auteur:: Artho; Legay, Axel; Peled, Doron
Uitgever:: Springer International Publishing 2016
Type:: e-book

5. Model Checking Software

Auteur:: Biondi; Given-Wilson, Thomas; Legay, Axel
Uitgever:: Springer International Publishing 2019
Type:: e-book

6. Runtime Verification

Auteur:: Legay, Axel; Bensalem, Saddek; Bensalem, Saddek
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

7. Risks and Security of Internet and Systems

Auteur:: Cuppens; Cuppens, Nora; Lanet, Jean-Louis; Legay, Axel
Uitgever:: Springer International Publishing 2017
Type:: e-book

8. Models, Algorithms, Logics and Tools

Auteur:: Aceto; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu
Uitgever:: Springer International Publishing 2017
Type:: e-book