BORGES, Ivson; 						LINS, Luan; 						CALLOU, Gustavo; 						MACIEL, Paulo.
 Impact of Image Resolution on Drone Surveillance System Availability: A Stochastic Petri Net Approach. <em>In</em>: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 14.	, 2025, Valparaíso/Chile.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 275-290.