Betz, Christine - Resultados de la búsqueda

Buscar colecciones:

Ordenar por:	Mostrar resultados:	Formato de visualización:

CERN Document Server	Encontrados 1 registros	La búsqueda tardó 0.57 segundos.

Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code / Lopez-Miguel, Ignacio D (TU Vienna) ; Betz, Christine (Darmstadt, GSI) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN) ; Salinas, Matias (Darmstadt, GSI)
Formal verification techniques are widely used in critical industries to minimize software flaws. However, despite the benefits and recommendations of the functional safety standards, such as IEC 61508 and IEC 61511, formal verification is not yet a common practice in the process industry and large scientific installations. [...]
2023 - 6 p. - Published in : JACoW ICALEPCS 2023 (2023) TUPDP001 Fulltext: PDF;
In : 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Cape Town, South Africa, 7 - 13 Oct 2023, pp.TUPDP001

Vea también: autores con nombres similares
1	Betz, C
2	Betz, Charles T

¿Le interesa recibir alertas sobre nuevos resultados de esta búsqueda?
Defina una alerta personal vía correo electrónico o subscríbase al canal RSS.

¿No ha encontrado lo que estaba buscando? Intente su búsqueda en:
Betz, Christine en Amazon Betz, Christine en CERN EDMS Betz, Christine en CERN Intranet Betz, Christine en CiteSeer Betz, Christine en Google Books Betz, Christine en Google Scholar Betz, Christine en Google Web Betz, Christine en IEC	Betz, Christine en IHS Betz, Christine en INSPIRE Betz, Christine en ISO Betz, Christine en KISS Books/Journals Betz, Christine en KISS Preprints Betz, Christine en NEBIS Betz, Christine en SLAC Library Catalog Betz, Christine en Scirus

CERN Document Server

		Consejos para la búsqueda Búsqueda avanzada
Add to Search +