Zobrazeno 1 - 10
of 94
pro vyhledávání: '"Adiego B"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gerstel, L., Rodrigo, M. P., Adiego, B., Luquero, F. J., Revillo, M. J., Castillo, F. J., Barrasa, A., Valenciano, M.
Publikováno v:
Epidemiology and Infection, 2009 Jul 01. 137(7), 950-956.
Externí odkaz:
https://www.jstor.org/stable/30221701
Autor:
Tamara lllescas M, Javier Pérez P, Pilar Martínez T, Belén Santacruz M, Begoña Adiego B, Esther Barrón A
Publikováno v:
Revista Chilena de Obstetricia y Ginecología, Vol 75, Iss 1, Pp 3-8 (2010)
Antecedentes: La exploración ecográfica entre las semanas 11 y 14 tiene un papel fundamental en el cribado de anomalías cromosómicas, siendo la medida de la translucencia nucal un método bien establecido y ampliamente aceptado para este fin. Obj
Externí odkaz:
https://doaj.org/article/55bdcf587703411081bc36e7950854b1
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Fernandez Adiego, B, Darvas, D, Blanco Vinuela, E, Tournier, J-C, Gonzalez Suarez, V M, Blech, J O
One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. This paper brings an ans
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od________65::704e199c8058d9637affb39f477d5ec2
http://cds.cern.ch/record/1956687
http://cds.cern.ch/record/1956687
Autor:
Fernandez Adiego, B, Darvas, D, Tournier, J-C, Blanco Vinuela, E, Blech, J-O, Gonzalez Suarez, V
In large industrial control systems such as the ones installed at CERN, one of the main issues is the ability to verify the correct behaviour of the Programmable Logic Controller (PLC) programs. While manual and automated testing can achieve good res
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od________65::5a09890786abb1c01c6290f0bb537b50
http://cds.cern.ch/record/1708853
http://cds.cern.ch/record/1708853
Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od________65::e658d61ac69eb47d7cd80a5469eb49c6
http://cds.cern.ch/record/1629275
http://cds.cern.ch/record/1629275