( en | de | ru )

 

Disambiguierung von "Weiss, Reinhold"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions.

, , , und . WISTP, Volume 6033 von Lecture Notes in Computer Science, Seite 316-323. Springer, (2010)

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.

Reinhold Weiss

Reinhold Weiss

Reinhold Weiss

Reinhold Weiss

Reinhold Weiss

 

Weitere Publikationen von Autoren mit dem selben Namen

Complex Model-Defined Constraints for Database Access with the Entity Container., , , , und . Databases and Applications, Seite 1-6. IASTED/ACTA Press, (2006)Designing of efficient energy harvesting systems for autonomous WSNs using a tier model., , , und . ICT, Seite 174-179. IEEE, (2011)MAMA: Multi-applicationmiddleware for efficient wireless sensor networks., , , und . ICT, Seite 1-8. IEEE, (2011)Introduction of design pattern(s) for power-management in embedded systems., , , , , , und . EuroPLoP, Seite 1:1-1:12. ACM, (2013)TOSPIE2: tiny operating system plug-in for energy estimation., , und . IPSN, Seite 410-411. ACM, (2010)A Flexible and Accurate Energy Model of an Instruction-Set Simulator for Secure Smart Card Software Design., , , , , und . PATMOS, Volume 3254 von Lecture Notes in Computer Science, Seite 491-500. Springer, (2004)On the dictionary compression for Java card environment., , , , und . M-SCOPES, Seite 68-76. ACM, (2013)Towards formal system-level verification of security requirements during hardware/software codesign., , , und . SoCC, Seite 388-391. IEEE, (2010)An Automated Power Emulation Framework for Embedded Software - Detecting Power-Critical Code Regions and Optimizing Software-Induced Power Consumption Peaks., , , , und . J. Low Power Electron., 7 (2): 255-264 (2011)A novel codesign approach based on distributed virtual machines., , , und . CODES, Seite 109-114. ACM, (2002)