PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Miskov-Zivanov, Natasa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Reliability (Dagstuhl Seminar 12341).

, , , , und . Dagstuhl Reports, 2 (8): 57-73 (2012)

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.

Keine Personen gefunden für den Autorennamen Miskov-Zivanov, Natasa
Eine Person hinzufügen mit dem Namen Miskov-Zivanov, Natasa
 

Weitere Publikationen von Autoren mit dem selben Namen

Emulation of biological networks in reconfigurable hardware., , , , , und . BCB, Seite 536-540. ACM, (2011)Circuit Reliability Analysis Using Symbolic Techniques., und . IEEE Trans. on CAD of Integrated Circuits and Systems, 25 (12): 2638-2649 (2006)Verifying Reliability (Dagstuhl Seminar 12341)., , , , und . Dagstuhl Reports, 2 (8): 57-73 (2012)Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking., , , , , und . CMSB, Volume 10545 von Lecture Notes in Computer Science, Seite 145-159. Springer, (2017)THiMED: Time in Hierarchical Model Extraction and Design., , und . CMSB, Volume 8859 von Lecture Notes in Computer Science, Seite 260-263. Springer, (2014)A systematic approach to modeling and analysis of transient faults in logic circuits., und . ISQED, Seite 408-413. IEEE Computer Society, (2009)MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits., und . ISQED, Seite 893-898. IEEE Computer Society, (2007)DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge., , , und . WSC, Seite 896-907. IEEE, (2017)A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator., , , , und . ISCAS, Seite 1-5. IEEE, (2018)Regulatory network analysis acceleration with reconfigurable hardware., , , , , , und . EMBC, Seite 149-152. IEEE, (2011)