A Validation Methodology for OCaml-to-PVS Translation
NFM ; 12. ; 2020 ; Moffett Field, Calif.; Online
2020
Conference paper
English
Springer Verlag | 2023
|Galileo Satellite-Only Services Validation Methodology - SIS Validation
British Library Conference Proceedings | 2005
|Methodology for Press Fit Validation
SAE Technical Papers | 2012
|Methodology for press fit validation
British Library Conference Proceedings | 2012
|Charging System: Design Simulation & Validation Methodology
SAE Technical Papers | 2007
|