From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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