Cited By
View all- Borge-Diez DOrtega-Cabezas PColmenar-Santos ABlanes-Peiró J(2024)Software Validation Techniques in the Automotive SectorDevelopment and Testing of Vehicle Software and its Influence on Sustainable Transport10.1007/978-3-031-47630-3_2(31-118)Online publication date: 11-Jan-2024
- Arcanjo RMartins LFernandes D(2023)Verification and validation of embedded software in an automotive context: a systematic literature reviewRevista Científica Multidisciplinar Núcleo do Conhecimento10.32749/nucleodoconhecimento.com.br/computer-science/embedded-software(207-250)Online publication date: 3-Oct-2023
- Ferrando AMalvone VMurano AStranieri S(2023)HYASM: A Tool to Verify Hierarchical Systems2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)10.1109/WETICE57085.2023.10477788(1-6)Online publication date: 14-Dec-2023
- Show More Cited By