Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: tit all "Programmable Logic"
im Bestand: Gesamter Bestand

1 - 4 von 4

	1	Investigating security issues in programmable logic controllers and related protocols Alsabbagh, Wael. - Cottbus : BTU Cottbus - Senftenberg, 2024
	2	Verification of programmable logic controller code using model checking and static analysis Biallas, Sebastian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
	3	Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking Pavlović, Olivera. - Braunschweig : Technische Universität Braunschweig, 2009
	4	Software verification for programmable logic controllers Huuck, Ralf, 2003