Salado, Alejandro
181  Ergebnisse:
Personensuche X
?
2

Verification Complexity: An Initial Look at Verification Ar..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
Jung, Sukhwan ; Salado, Alejandro - p. 211-224 , 2024
 
?
4

Model-Based Verification Strategies Using SysML and Bayesia..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
Gregory, Joe ; Salado, Alejandro - p. 19-33 , 2024
 
?
6

Framework for and Progress of Adoption of Digital and Model..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
 
?
9

Product Herding for Intelligent Systems:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
Shadab, Niloofar ; Cody, Tyler ; Beling, Peter. - p. 397-409 , 2024
 
?
10

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
 
?
11

Early Implementation of a Cognitive Assistant for Identifyi..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
 
?
15

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
 
1-15