1 paper · 1 filter
Chih-Hong Cheng, Brian Hsuan-Cheng Liao, Adam Molin +1
The adoption of large language models in safety-critical system engineering is constrained by trustworthiness, traceability, and alignment with established verification practices.…