Versenden
Drucken
Guidotti, Dario und Leofante, Francesco und Tacchella, Armando und Castellini, Claudio (2019) Improving reliability of myocontrol using formal verification. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 27 (4), Seiten 564-571. IEEE - Institute of Electrical and Electronics Engineers. doi: 10.1109/TNSRE.2019.2893152. ISSN 1534-4320.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Preprintversion (eingereichte Entwurfsversion)
2MB |
Offizielle URL: https://ieeexplore.ieee.org/document/8660471
| elib-URL des Eintrags: | https://elib.dlr.de/126921/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Zeitschriftenbeitrag | ||||||||||||||||||||
| Titel: | Improving reliability of myocontrol using formal verification | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 2019 | ||||||||||||||||||||
| Erschienen in: | IEEE Transactions on Neural Systems and Rehabilitation Engineering | ||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||||||
| In ISI Web of Science: | Ja | ||||||||||||||||||||
| Band: | 27 | ||||||||||||||||||||
| DOI: | 10.1109/TNSRE.2019.2893152 | ||||||||||||||||||||
| Seitenbereich: | Seiten 564-571 | ||||||||||||||||||||
| Verlag: | IEEE - Institute of Electrical and Electronics Engineers | ||||||||||||||||||||
| ISSN: | 1534-4320 | ||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||
| Stichwörter: | myocontrol. formal verification, prosthetics | ||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | Vorhaben Intelligente Mobilität (alt) | ||||||||||||||||||||
| Standort: | Oberpfaffenhofen | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Robotik und Mechatronik (ab 2013) > Kognitive Robotik | ||||||||||||||||||||
| Hinterlegt von: | Castellini, Dr. Claudio | ||||||||||||||||||||
| Hinterlegt am: | 15 Apr 2019 09:58 | ||||||||||||||||||||
| Letzte Änderung: | 28 Jun 2023 13:56 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
