Found: 10
Select item for more details and to access through your institution.
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs.
- Published in:
- Journal of Electronic Testing, 2024, v. 40, n. 2, p. 199, doi. 10.1007/s10836-024-06115-9
- By:
- Publication type:
- Article
Towards Posture and Gait Evaluation through Wearable-Based Biofeedback Technologies.
- Published in:
- Electronics (2079-9292), 2023, v. 12, n. 3, p. 644, doi. 10.3390/electronics12030644
- By:
- Publication type:
- Article
Wearables, sensors, and smart devices for the detection and monitoring of chemotherapy‐induced peripheral neurotoxicity: Systematic review and directions for future research.
- Published in:
- Journal of the Peripheral Nervous System, 2022, v. 27, n. 4, p. 238, doi. 10.1111/jns.12518
- By:
- Publication type:
- Article
Simulation-based Fault Injection with QEMU for Speeding-up Dependability Analysis of Embedded Software.
- Published in:
- Journal of Electronic Testing, 2016, v. 32, n. 1, p. 43, doi. 10.1007/s10836-015-5555-z
- By:
- Publication type:
- Article
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.
- Published in:
- Journal of Electronic Testing, 2015, v. 31, n. 2, p. 167, doi. 10.1007/s10836-015-5514-8
- By:
- Publication type:
- Article
On the Reuse of TLM Mutation Analysis at RTL.
- Published in:
- Journal of Electronic Testing, 2012, v. 28, n. 4, p. 435, doi. 10.1007/s10836-012-5303-6
- By:
- Publication type:
- Article
Time-Constraint-Aware Optimization of Assertions in Embedded Software.
- Published in:
- Journal of Electronic Testing, 2012, v. 28, n. 4, p. 469, doi. 10.1007/s10836-012-5316-1
- By:
- Publication type:
- Article
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
- Published in:
- Journal of Electronic Testing, 2011, v. 27, n. 2, p. 137, doi. 10.1007/s10836-011-5209-8
- By:
- Publication type:
- Article
Too Few or Too Many Properties? Measure it by ATPG!
- Published in:
- Journal of Electronic Testing, 2007, v. 23, n. 5, p. 373, doi. 10.1007/s10836-007-5015-5
- By:
- Publication type:
- Article
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 585, doi. 10.1007/s10766-005-8911-2
- By:
- Publication type:
- Article