Salado, Alejandro
86  Ergebnisse:
Personensuche X
?
4

A Systems-Theoretical Formalization of Closed Systems:

Shadab, Niloofar ; Cody, Tyler ; Salado, Alejandro.
IEEE Open Journal of Systems Engineering.  2 (2024)  - p. 26-37 , 2024
 
?
8

Introduction to the Systems Engineering's Top Space Challen..:

Newcamp, Jeffrey ; Miller, Michael Z. ; Golkar, Alessandro..
Journal of Aerospace Information Systems.  20 (2023)  7 - p. 368-368 , 2023
 
?
11

Interpreting integrability:

Salado, Alejandro
Systems Engineering.  27 (2023)  1 - p. 99-108 , 2023
 
?
 
?
13

A Mathematical Approach to Design Verification Strategies T..:

Xu, Peng ; Salado, Alejandro
IEEE Open Journal of Systems Engineering.  1 (2023)  - p. 1-11 , 2023
 
?
14

A UCB-Based Tree Search Approach to Joint Verification-Corr..:

Xu, Peng ; Deng, Xinwei ; Salado, Alejandro
IEEE Transactions on Systems, Man, and Cybernetics: Systems.  53 (2023)  9 - p. 5430-5441 , 2023
 
?
15

Formalizing the Representativeness of Verification Models u..:

Wach, Paul ; Beling, Peter ; Salado, Alejandro
INCOSE International Symposium.  32 (2022)  1 - p. 1175-1187 , 2022
 
1-15