Login / Signup
An XSLT-Based Proposal to Ease Embedded Critical Systems Tools Implementation, Verification, Validation, Testing, and Certification Efforts.
Santiago Germino
Martín N. Menéndez
Ariel Lutenberg
Published in:
IEEE Embed. Syst. Lett. (2023)
Keyphrases
</>
learning systems
embedded systems
software environment
commercial systems
successful deployment
building blocks
asynchronous circuits
computer aided software engineering
management system
computer systems
formal verification
test cases
markup language
tool support
challenges facing
commercial products