( en | de | ru )

 

Disambiguierung von "da Silva, Leandro Dias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ticc: A Tool for Interface Compatibility and Composition.

, , , , , , und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 59-62. Springer, (2006)

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.

Vitor Dias Silva

Kerstin da Silva

Rodrigo Corrêa da Silva

Adriano João Da Silva

Carolina Ferraz da Silva

 

Weitere Publikationen von Autoren mit dem selben Namen

A methodology for modeling and simulation of biomedical signal acquisition devices., , , , , und . HealthCom, Seite 227-231. IEEE, (2015)Formal modelling and verification of a component model using coloured petri nets and model checking., , und . SAC, Seite 1427-1431. ACM, (2007)Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks., , , , , und . ICCE, Seite 1-4. IEEE, (2024)Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study., , , , , und . EMBC, Seite 2488-2491. IEEE, (2016)A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets., , , und . SELMAS, Volume 3390 von Lecture Notes in Computer Science, Seite 162-179. Springer, (2004)Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device., , , , , und . IECON, Seite 2645-2651. IEEE, (2014)Using equivalence classes for testing programs for safety instrumented systems., , , , und . ETFA, Seite 1-7. IEEE, (2013)A Game-Based Approach to Monitor Parkinson's Disease: The Bradykinesia Symptom Classification., , , , und . CBMS, Seite 337-342. IEEE Computer Society, (2016)A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care., , und . CENTERIS (3), Volume 221 von Communications in Computer and Information Science, Seite 384-391. Springer, (2011)Machine Learning Application to Quantify the Tremor Level for Parkinson's Disease Patients., , , und . CENTERIS/ProjMAN/HCist, Volume 138 von Procedia Computer Science, Seite 215-220. Elsevier, (2018)