Výsledky vyhledávání - "Victor A. Carreño"

The transition assertions specification method

Autor: Victor A. Carreño

A modelling and specification method for real-time, reactive systems is described. Modelling is performed by constructing time dependent relations of the system parameters. A textual formal notation using higher order logic and a graphical notation a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::30cdc6e334d799c04ebc0c29199d9084

Zobrazit plný text záznamu

Elektronická kniha

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Autor: Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar

Zobrazit plný text záznamu

Akademický článek

Simulated fault injection: a methodology to evaluate fault tolerant microprocessor architectures : Gwan S. Choi, Ravishankar K. Iyer and Victor A. Carreno. IEEE Trans. Reliab.39(4), 486 (1990)

Publikováno v: In Microelectronics Reliability 1992 32(1):290-290

Zobrazit plný text záznamu

Akademický článek

Changes in perceptions of the alcohol environment among participants in a Photovoice project conducted in two districts with different socio-economic status.

Autor: Fuente, Irene Molina-de la^1,2,3 (AUTHOR), Pastor, Andrea¹ (AUTHOR), Conde, Paloma¹ (AUTHOR), Vázquez, María Sandín¹ (AUTHOR), Ramos, Carmen⁴ (AUTHOR), Bosque-Prous, Marina⁵ (AUTHOR), Franco, Manuel^1,6,7 (AUTHOR), Sureda, Xisca^1,6,8,9 (AUTHOR) francisca.sureda@uah.es

Publikováno v: PLoS ONE. 8/6/2021, Vol. 16 Issue 8, p1-14. 14p.

Zobrazit plný text záznamu

Akademický článek

Evolution of Plasmodium vivax and resistance patterns for infection based on Duffy genotype and phenotype.

Autor: Picón-Jaimes, Yelson Alejandro, Lozada-Martinez, Ivan David, Forero Buelvas, María Camila, Ardila Sarmiento, Andrés Felipe, Serrano Baez, Gustavo Adolfo, Nazareno Erazo, Deilly Yohana, Cuastumal Martínez, José Daniel, Ruiz-Gutierrez, Franklin Kevin, Carreño Barrera, Victor Daniel

Publikováno v: Infezioni in Medicina; 2023, Vol. 31 Issue 3, p350-358, 9p

Zobrazit plný text záznamu

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání