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

TPV: A Tool for Validating Temporal Properties in UML Class..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Lail, Mustafa Al ; Viesca, Antonio ; Cardenas, Hector.. - p. 114-118 , 2024
Link: https://doi.org/10.1145/..
 
?
2

TPV: A Tool for Validating Temporal Properties in UML Class..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,
Al Lail, Mustafa ; Viesca, Antonio ; Cardenas, Hector.. - p. 114-118 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Streamlining CPS Validation: Using Interoperable UML Tools ..:

, In: 2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC),
Viesca, Antonio Rosales ; Al Lail, Mustafa ; Alam, Omar - p. 1-4 , 2024
Link: https://doi.org/10.1109/..
 
?
4

Automated Mitigation of Frame Problem in UML Class Diagram ..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Viesca, Antonio Rosales ; Al Lail, Mustafa - p. 841-850 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Formal UML-based Modeling and Analysis for Securing Locatio..:

, In: 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS),
Cardenas, Hector ; Zimmerman, Ryan ; Viesca, Antonio Rosales.. - p. 722-723 , 2022
Link: https://doi.org/10.1109/..
 
?
6

The effect of the "Prestige" oil spill on the plankton of t..:

Varela, Manuel ; Bode, Antonio ; Lorenzo, Jorge...
Marine Pollution Bulletin.  53 (2006)  5-7 - p. 272-286 , 2006
Link: https://doi.org/10.1016/..
 
?
7

Performance and safety of motorized spiral enteroscopy: a s..:

Papaefthymiou, Apostolis ; Ramai, Daryl ; Maida, Marcello...
Gastrointestinal Endoscopy.  97 (2023)  5 - p. 849-858.e5 , 2023
Link: https://doi.org/10.1016/..
 
?
8

Luminescence Properties of Eu-Doped BaLaAlO4 Phosphors for ..:

Etafo, Nelson Oshogwue ; Garcia, Carlos Eduardo Rodriguez ; Uc, Jorge Oliva...
Materials Science Forum.  1073 (2022)  - p. 125-130 , 2022
Link: https://doi.org/10.4028/..
 
?
9

Bridging the Gap: Cyber Defence Skills for the Future:

, In: 2024 IEEE Global Engineering Education Conference (EDUCON),
Strukova, Sofia ; Albaladejo-Gonzalez, Mariano ; Bozhilova, Maya... - p. 01-10 , 2024
Link: https://doi.org/10.1109/..
 
?
10

Cirugía de Fontan: Factores de riesgo a corto y mediano pla..:

Calderón-Colmenero, Juan ; Ramírez, Samuel ; Viesca, Regina...
Archivos de cardiología de México v.75 n.4 2005.  , 2005
Link: http://www.scielo.org.mx..
 
?
11

Cambio climático y oceanográfico en el Atlántico del norte ..:

Álvarez-Ossorio-Costa ; M.T. (María Teresa) ; Anadón, R. (Ricardo)...
978-84-95877-08-6.  , 2014
Link: http://hdl.handle.net/10..
 
?
12

Variabilidade e tendencias interanuais no fitoplancto mariñ..:

Varela-Rodríguez, M. (Manuel) ; Lorenzo, J ; Mene, L. (Lorenzo)...
978-84-95877-08-6.  , 2014
Link: http://hdl.handle.net/10..
 
?
13

Cambio climático y oceanográfico en el Atlántico del norte ..:

Álvarez-Ossorio-Costa, M.T. (María Teresa) ; Anadón, R. (Ricardo) ; Bode, A. (Antonio)...
978-84-95877-08-6.  , 2012
Link: http://hdl.handle.net/10..
 
?
14

Variabilidade e tendencias interanuais no fitoplancto mariñ..:

Varela-Rodríguez, M. (Manuel) ; Lorenzo, J ; Mene, L. (Lorenzo)...
978-84-95877-08-6.  , 2012
Link: http://hdl.handle.net/10..
 
?
15

The effect of the "Prestige" oil spill on the plankton of t..:

Varela-Rodríguez, M. (Manuel) ; Bode, A. (Antonio) ; Lorenzo, J...
https://doi.org/10.1016/j.marpolbul.2005.10.005.  , 2006
Link: http://hdl.handle.net/10..
 
1-15