Betz, Christine - Resultats de la cerca

Cerca col·leccions:

Ordena'ls per:	Mostrar els resultats:	Format de visualizació:

CERN Document Server	1 registres trobats	La cerca s'ha fet en 0.68 segons.

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

Vegeu també: autors amb noms similars
1	Betz, C
2	Betz, Charles T

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.

No heu trobat el que estaveu cercant? Proveu la vostra cerca a:
Betz, Christine dins Amazon Betz, Christine dins CERN EDMS Betz, Christine dins CERN Intranet Betz, Christine dins CiteSeer Betz, Christine dins Google Books Betz, Christine dins Google Scholar Betz, Christine dins Google Web Betz, Christine dins IEC	Betz, Christine dins IHS Betz, Christine dins INSPIRE Betz, Christine dins ISO Betz, Christine dins KISS Books/Journals Betz, Christine dins KISS Preprints Betz, Christine dins NEBIS Betz, Christine dins SLAC Library Catalog Betz, Christine dins Scirus

CERN Document Server