1. OPUS

Auflistung nach Institut Institut für Automatisierungs- und Softwaretechnik

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 6 bis 23 von 23 < zurück 
ErscheinungsdatumTitelAutor(en)
2000Computer-aided safety analysis of computer-controlled systems : a case exampleBiegert, Uwe
2008Constraintbasierte Testdatenermittlung für Automatisierungssoftware auf Grundlage von SignalflussplänenLinder, Paul
2010Effizienter Schutz der IT-Sicherheit auf der Feldebene von AutomatisierungssystemenGutbrodt, Felix
2011Entwicklung eines Systems zur elektrischen Energieanalyse eines WaschtrocknersTchuisseu, Mireille Laure
2004Entwicklung hybrider Komponentenmodelle zur Prozessüberwachung komplexer dynamischer SystemeManz, Susanne
2002Entwicklung und Analyse zeitgesteuerter SystemeRingler, Thomas Karl
2007Evolutionäres Domain-Engineering zur Entwicklung von AutomatisierungssystemenJost, Pascal
2002Flexible web-based management of components for industrial automationLucena, Vicente Ferreira de
2003Ganzheitliche modellbasierte Sicherheitsanalyse von ProzessautomatisierungssystemenBiegert, Uwe
2006Internetbasierte Datenintegration für AutomatisierungssystemeStrobel, Thorsten
2003Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete SystemeGunzert, Michael
2002Process model for the development of system requirements specifications for railway systemsBitsch, Friedemann
2000Sichere Automatisierungssysteme mit Hilfe qualitativer Modellierung und quantitativer RisikobewertungBiegert, Uwe
2004Situation based process monitoring in complex systems considering vagueness and uncertaintyRebolledo, Mario
2000Using qualitative models for safety analysis of industrial automation systemsBiegert, Uwe
2003Validierung komponentenbasierter Software für EchtzeitsystemeFleisch, Wolfgang
2007Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in TemporallogikBitsch, Friedemann
1999Visualisierung von Datenbank-Abfragen in JavaEngelmann, Ralf
Anzeige der Treffer 6 bis 23 von 23 < zurück