A Validation Methodology for OCaml-to-PVS Translation

You are here: Homepage > Search

An, Xiaoxin / Tahat, Amer / Ravindran, Binoy

Title :

Contributors:

An, Xiaoxin (author) / Tahat, Amer (author) / Ravindran, Binoy (author)

Conference:

NFM ; 12. ; 2020 ; Moffett Field, Calif.; Online

Published in:

NASA formal methods

Publication date :

2020

ISBN :

9783030557539

Type of media :

Conference paper

Type of material :

Language :

English

Keywords :

Crönert, Sebastian K. | Springer Verlag | 2023

Strodl, K. / Kohl, R. / Deutsche Gesellschaft fur Ortung und Navigation et al. | British Library Conference Proceedings | 2005

Chagas, C.B. / Freitas, T.C. / Carneiro, B.G. et al. | British Library Conference Proceedings | 2012

Carneiro, Breno Garcia / Chagas, Clodoaldo Borges / Silva, Renan Francisco et al. | SAE Technical Papers | 2012

Oberkampf, William / Trucano, Timothy | AIAA | 2000