Salado Díez, Alejandro
121  Ergebnisse:
Personensuche X
?
1

Constructing True Model-Based Requirements in SysML ; Syste..:

Salado Diez, Alejandro ; Wach, Paul
Salado, A.; Wach, P. Constructing True Model-Based Requirements in SysML. Systems 2019, 7, 19..  , 2019
 
?
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

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

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

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

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
 
?
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,
 
?
14

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