Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Salado, Alejandro
183  Ergebnisse:
Personensuche X
?
1

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
Link: https://doi.org/10.1007/..
 
?
2

Formal Inconsistencies of Expertise Aggregation Techniques ..:

Stephen, Cynthia ; Kannan, Hanumanthrao ; Salado, Alejandro
Systems.  12 (2024)  5 - p. 180 , 2024
Link: https://doi.org/10.3390/..
 
?
3

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
Link: https://doi.org/10.1007/..
 
?
4

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,
McDermott, Tom ; Henderson, Kaitlin ; Van Aken, Eileen. - p. 69-82 , 2024
Link: https://doi.org/10.1007/..
 
?
5

An ontology‐based digital test and evaluation master plan (..:

Gregory, Joe ; Salado, Alejandro
Systems Engineering.  , 2024
Link: https://doi.org/10.1002/..
 
?
6

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
Link: https://doi.org/10.1109/..
 
?
7

The Proceedings of the 2024 Conference on Systems Engineeri.. 

Conference on Systems Engineering Research Series
Salado, Alejandro ; Valerdi, Ricardo ; Steiner, Rick. - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
8

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,
Campagnari, Nicholas ; Macholtz, Chris A. ; Eng, Nicholas C... - p. 411-423 , 2024
Link: https://doi.org/10.1007/..
 
?
9

Implementing a Student Rover Design Exercise in the Digital..:

, In: 2024 IEEE Aerospace Conference,
Gregory, Joe ; Salado, Alejandro - p. 1-11 , 2024
Link: https://doi.org/10.1109/..
 
?
10

Emergent knowledge patterns in verification artifacts:

Jung, Sukhwan ; Salado, Alejandro
Systems Engineering.  , 2024
Link: https://doi.org/10.1002/..
 
?
11

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
Link: https://doi.org/10.1007/..
 
?
12

A Semantic Approach to Spacecraft Verification Planning Usi..:

, In: 2024 IEEE Aerospace Conference,
Gregory, Joe ; Salado, Alejandro - p. 1-12 , 2024
Link: https://doi.org/10.1109/..
 
?
13

Core and Periphery as Closed-System Precepts for Engineerin..:

, In: Artificial General Intelligence; Lecture Notes in Computer Science,
Cody, Tyler ; Shadab, Niloofar ; Salado, Alejandro. - p. 209-219 , 2023
Link: https://doi.org/10.1007/..
 
?
14

MBSE adoption experiences in organizations: Lessons learned:

Henderson, Kaitlin ; McDermott, Thomas ; Salado, Alejandro
Systems Engineering.  27 (2023)  1 - p. 214-239 , 2023
Link: https://doi.org/10.1002/..
 
?
15

A comparative experiment between textual requirements and m..:

Salado, Alejandro ; Shadab, Niloofar
Systems Engineering.  27 (2023)  3 - p. 556-569 , 2023
Link: https://doi.org/10.1002/..
 
1-15