Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
laas.fr üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 1469
Computer Science Formal Verification Concurrent and Distributed systems Safety Critical Embedded Systems Process Calculi
Eric Jenn

Eric Jenn

IRT Saint-Exupery - Toulouse - France
irt-saintexupery.com üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 1298
Safety critical embedded systems
Van Chan Ngo

Van Chan Ngo

Hyperlexia
nio.io üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 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
najah.edu üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 215
Safety Critical Embedded Systems
Johan Hjorth

Johan Hjorth

Doctoral Student
mdu.se üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 16
Mitigation techniques safety-critical embedded systems Deep Neural Networks