Author of the publication

Formal models for automotive systems and vehicular networks: Benefits and challenges.

, , and . VNC, page 1-8. IEEE, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evolução da cadeia de suprimentos na indústria de produtos e soluções para redes de computadores: estudo de múltiplos casos.. University of São Paulo, Brazil, (2008)ndltd.org (oai:teses.usp.br:tde-09052008-181615).A Formal Model to Facilitate Security Testing in Modern Automotive Systems., , and . IMPEX/FM&MDD, volume 271 of EPTCS, page 95-104. (2017)Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers., , and . TrustCom, page 84-91. IEEE Computer Society, (2012)Formal models for automotive systems and vehicular networks: Benefits and challenges., , and . VNC, page 1-8. IEEE, (2016)A Semantic-based Similarity of Human Drug Target Proteins., , , and . BIOINFORMATICS, page 300-303. SciTePress, (2013)Capacitive direct-imaging sensor for two-phase flow visualization., , , , , and . IEEE SENSORS, page 1-3. IEEE, (2016)Millimeter-Scale Leak Detection Using Distributed Acoustic and Temperature Gradient Sensing., , , , , , , , , and 1 other author(s). SENSORS, page 1-4. IEEE, (2023)Predicting New Human Drug Targets by using Feature Selection Techniques., , , and . BIOINFORMATICS, page 137-142. SciTePress, (2012)Dynamic Difficulty Adjustment Using Performance and Affective Data in a Platform Game., , , , , , and . HCI (40), volume 13094 of Lecture Notes in Computer Science, page 367-386. Springer, (2021)Optical-electrical probe for two-phase flow investigation., , , , and . IEEE SENSORS, page 1-3. IEEE, (2017)