Blech, Jan Olaf - Pretraži rezultate

Pretraži kolekcije:

Sortiraj po:	Prikaz rezultata:	Oblik izlaznih podataka:

CERN Document Server	Pronađeno je 1 zapisa	Pretraživanje je potrajalo 1.37 sekundi

Applying Model Checking to Industrial-Sized PLC Programs / Fernandez Adiego, Borja (CERN) ; Darvas, Daniel (Budapest, Tech. U.) ; Blanco Vinuela, Enrique (CERN) ; Tournier, Jean-Charles (CERN) ; Bliudze, Simon (LPHE, Lausanne) ; Blech, Jan Olaf (RMIT U.) ; Gonzalez Suarez, Victor M (Oviedo U.)
Programmable logic controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. [...]
CERN-OPEN-2015-009.- Geneva : CERN, 2015 - 11 p. - Published in : IEEE Trans. Ind. Inform. 11 (2015) 1400-1410 Preprint: PDF;

Također vidi: slična imena autora
1	Blech, J O
1	Blech, J-O

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.

Niste pronašli ono što ste htjeli? Pokušajte pretražiti na ovim serverima:
Blech, Jan Olaf u Amazon Blech, Jan Olaf u CERN EDMS Blech, Jan Olaf u CERN Intranet Blech, Jan Olaf u CiteSeer Blech, Jan Olaf u Google Books Blech, Jan Olaf u Google Scholar Blech, Jan Olaf u Google Web Blech, Jan Olaf u IEC	Blech, Jan Olaf u IHS Blech, Jan Olaf u INSPIRE Blech, Jan Olaf u ISO Blech, Jan Olaf u KISS Books/Journals Blech, Jan Olaf u KISS Preprints Blech, Jan Olaf u NEBIS Blech, Jan Olaf u SLAC Library Catalog Blech, Jan Olaf u Scirus

CERN Document Server

		Savjeti za pretraživanje Napredno pretraživanje
Add to Search +