Adel Djoudi - Bücher - alle Infos bei Yasni.de

(1 - 5 von 5

)

Staff View: NASA formal methods

library.villanova.edu

|t Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods / |r Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi -- |t Inferring Automata ...

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett...

books.google.de

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May...

Tools and Algorithms for the Construction and Analysis of Systems:...

books.google.com.ua

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015,...

Binary Code Fingerprinting for Cybersecurity: Application to...

books.google.ca

This book addresses automated software fingerprinting in binary code, especially for cybersecurity applications. The reader will gain a thorough understanding...

FM 2016: Formal Methods: 21st International Symposium, Limassol,...

books.google.de

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November The...

Verwandte Suchanfragen zu Adel Djoudi

Roberto Frego

Personen
Vorname "Adel" (1994)
Name "Djoudi" (31)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Adel Djoudi

Staff View: NASA formal methods

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett...

Tools and Algorithms for the Construction and Analysis of Systems:...

Binary Code Fingerprinting for Cybersecurity: Application to...

FM 2016: Formal Methods: 21st International Symposium, Limassol,...