@inproceedings{896304f58b254842b3b28dfd41fa46e9,
title = "Simulation-based and formal verification of domain-specific language model",
author = "Bharvi Chhaya and Shafagh Jafer",
note = "Publisher Copyright: {\textcopyright} 2020, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.; AIAA Scitech Forum, 2020 ; Conference date: 06-01-2020 Through 10-01-2020",
year = "2020",
doi = "10.2514/6.2020-0897",
language = "English",
isbn = "9781624105951",
series = "AIAA Scitech 2020 Forum",
publisher = "American Institute of Aeronautics and Astronautics Inc, AIAA",
booktitle = "AIAA Scitech 2020 Forum",
}