Name Card

Full name Familienname, Vorname
Bar Kama, Neta
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kaivola-2022-Timed Causal Fanin Analysis for Symbolic Circuit Simulation-vor.pdf.jpgKaivola, Roope ; Bar Kama, Neta Timed Causal Fanin Analysis for Symbolic Circuit SimulationKonferenzbeitrag Inproceedings Oct-2022
2Kama-2021-Hardware Security Leak Detection by Symbolic Simulation-vor.pdf.jpgBar Kama, Neta ; Kaivola, Roope Hardware Security Leak Detection by Symbolic SimulationInproceedings Oct-2021