Digital twin for the formal analysis of a depth of anesthesia controller
- Mohamed AbdElSalam
- , Saddek Bensalem
- , Antoine Delacourt
- , Weicheng He
- , Panagiotis Katsaros
- , Nikolaos Kekatos
- , Ricardo Nolasco Ruiz
- , Doron Peled
- , Matthieu Ponchant
- , Ismail Ryad
- , Anastasios Temperekidis
- , Changshun Wu
- Siemens EDA
- Université Grenoble Alpes
- Siemens Industry Software SAS
- Aristotle University of Thessaloniki
- RGB Medical Devices
Research output: Contribution to journal › Article › peer-review
1
Scopus
citations