Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
Zweryfikowany adres z laas.fr
Cytowane przez 1469
Computer Science Formal Verification Concurrent and Distributed systems Safety Critical Embedded Systems Process Calculi
Eric Jenn

Eric Jenn

IRT Saint-Exupery - Toulouse - France
Zweryfikowany adres z irt-saintexupery.com
Cytowane przez 1298
Safety critical embedded systems
Van Chan Ngo

Van Chan Ngo

Hyperlexia
Zweryfikowany adres z nio.io
Cytowane przez 324
Safety Critical Embedded Systems Programming Languages and Compilers Formal Verification Language
Ashraf Armoush

Ashraf Armoush

Assistant Professor of Computer Engineering, An-Najah National University
Zweryfikowany adres z najah.edu
Cytowane przez 215
Safety Critical Embedded Systems
Johan Hjorth

Johan Hjorth

Doctoral Student
Zweryfikowany adres z mdu.se
Cytowane przez 16
Mitigation techniques safety-critical embedded systems Deep Neural Networks