Betz, Christine - Suchergebnisse - CERN Document Server

Suchen Sammlungen:

Sortieren nach:	Ergebnisse darstellen:	Darstellungsformat:

CERN Document Server	1 Datensätze gefunden	Die Suche hat 1.14 Sekunden gedauert.

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

Sehen Sie auch: ähnliche Autornamen
1	Betz, C
2	Betz, Charles T

Sind Sie interessiert über neue Ergebnisse zu dieser Suchabfrage informiert zu werden?
Definieren Sie eine persönliche E-Mail-Benachrichtigung oder abonnieren Sie den RSS Feed.

Haben Sie nicht gefunden was Sie suchten? Versuchen Sie Ihre Suche auf anderen Servern:
Betz, Christine in Amazon Betz, Christine in CERN EDMS Betz, Christine in CERN Intranet Betz, Christine in CiteSeer Betz, Christine in Google Books Betz, Christine in Google Scholar Betz, Christine in Google Web Betz, Christine in IEC	Betz, Christine in IHS Betz, Christine in INSPIRE Betz, Christine in ISO Betz, Christine in KISS Books/Journals Betz, Christine in KISS Preprints Betz, Christine in NEBIS Betz, Christine in SLAC Library Catalog Betz, Christine in Scirus

CERN Document Server