bib.howest.be Search Results

You searched for: Auteur Legay, Axel

1 - 8 of 8

1. Hardware and Software: Verification and Testing

Author:: Bertacco, Valeria; Legay, Axel; Legay, Axel
Publisher:: Springer International Publishing 2013
Format:: e-book

2. Automated Technology for Verification and Analysis

Author:: Artho; Legay, Axel; Peled, Doron
Publisher:: Springer International Publishing 2016
Format:: e-book

3. Model Checking Software

Author:: Biondi; Given-Wilson, Thomas; Legay, Axel
Publisher:: Springer International Publishing 2019
Format:: e-book

4. Runtime Verification

Author:: Legay, Axel; Bensalem, Saddek; Bensalem, Saddek
Publisher:: Springer Berlin Heidelberg 2013
Format:: e-book

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

Author:: Saddek Bensalem, Yassine Lakhneck, Axel Legay; Lakhnech, Yassine; Legay, Axel
Publisher:: Springer Berlin Heidelberg 2014
Format:: e-book

6. Risks and Security of Internet and Systems

Author:: Cuppens; Cuppens, Nora; Lanet, Jean-Louis; Legay, Axel
Publisher:: Springer International Publishing 2017
Format:: e-book

7. Models, Algorithms, Logics and Tools

Author:: Aceto; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu
Publisher:: Springer International Publishing 2017
Format:: e-book

8. Risks and Security of Internet and Systems

Author:: Cuppens; Axel Legay; Frédéric Cuppens; Jean-Louis Lanet; Joaquin Garcia-Alfaro; Cuppens, édéric; Garcia-Alfaro, Joaquin; Lanet, Jean-Louis; Legay, Axel
Publisher:: Springer International Publishing 2018
Format:: e-book