Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Materialarten:	Online Ressourcen

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

1 - 5 von 5

	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	Verification of Programmable Logic Controller Code using Model Checking and Static Analysis Biallas, Sebastian. - Aachen : Shaker, 2016, 1. Auflage
	4	Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking Pavlović, Olivera. - Braunschweig : Technische Universität Braunschweig, 2009
	5	Software verification for programmable logic controllers Huuck, Ralf, 2003

1 - 5 von 5

Alle Materialarten > Online Ressourcen (5)

Alle Kataloge/Sammlungen > Hochschulschriften (5)

Alle Standorte > Leipzig (5)

Aktionen