-
1
A method to localize faults in concurrent C programs
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
2
-
3
-
4
-
5
-
6
-
7
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking
Veröffentlicht in arXiv.org
VolltextArtikel -
8
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters
Veröffentlicht in arXiv.org
VolltextArtikel -
9
Cardiovascular characterization of the novel organic mononitrate NDIBP in rats
Veröffentlicht in Nitric oxide
VolltextArtikel -
10
New Designs for Reduced-Redundancy Transceivers
Veröffentlicht in Circuits, systems, and signal processing
VolltextArtikel