FARAZ AHMAD; *HASHIM ALI; SANA AMIN; HAZRAT WALI. FORMAL SPECIFICATION OF ENVIRONMENTAL REQUIREMENTS IN AUTOMATED DRIVING SYSTEMS: A FRET-DRIVEN APPROACH. Spectrum of Engineering Sciences, [S. l.], v. 4, n. 3, p. 4370–4386, 2026. Disponível em: https://thesesjournal.com/index.php/1/article/view/3620. Acesso em: 27 aug. 2026.