Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploring Applications of Formal Methods in the INSPEX Project., , , , , und . STAF Workshops, Volume 11176 von Lecture Notes in Computer Science, Seite 205-215. Springer, (2018)INSPEX: Optimize Range Sensors for Environment Perception as a Portable System., , , , , , , , , und 13 andere Autor(en). Sensors, 19 (19): 4350 (2019)Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System., , , , , , , und . ICSOFT, Seite 698-705. SciTePress, (2018)Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept., , , , , , , , , und 19 andere Autor(en). FedCSIS (Communication Papers), Volume 17 von Annals of Computer Science and Information Systems, Seite 73-82. (2018)Dynamic power management in a wireless sensor network using predictive control., , , , , und . IECON, Seite 4756-4761. IEEE, (2014)Localization system in GPS-denied environments using radar and IMU measurements: Application to a smart white cane., , , , , und . ECC, Seite 1201-1206. IEEE, (2019)Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX., , , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 77-91. Springer, (2019)Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX., , , , , , , und . CSDM, Seite 3-15. Springer, (2018)Transforming VHDL descriptions into formal component-based models., , , , , und . RSP, Seite 128-135. IEEE, (2016)