Skip navigation
Zur Startseite
Auflistung nach
Bereiche
& Sammlungen
Auflistung nach:
Erscheinungsdatum
Autor
Titel
Schriftenreihe
Institut
Hilfe
Über OPUS
Publizieren mit OPUS
Rechtliche Informationen
Suchen & Browsen
Anmelden:
Mein OPUS
Abonnement
Neuerscheinungen
Benutzerprofil bearbeiten
Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Deutsch
English
OPUS
Suche
Suche:
Gesamter Bestand
Universität Stuttgart
05 Fakultät Informatik, Elektrotechnik und Informationstechnik
nach
Aktuelle Facetten:
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Neue Suche starten
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Treffer 21-23 von 23 (Suchzeit: 0.01 Sekunden).
Zurück
1
2
3
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2007
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Bitsch, Friedemann
2015
Agentenbasierte Konsistenzprüfung heterogener Modelle in der Automatisierungstechnik
Rauscher, Michael
2007
Evolutionäres Domain-Engineering zur Entwicklung von Automatisierungssystemen
Jost, Pascal
Facetten
Autor
4
Biegert, Uwe
2
Bitsch, Friedemann
1
Badr, Iman
1
Dujmovic, Stjepan
1
Eberle, Stephan
1
Engelmann, Ralf
1
Fleisch, Wolfgang
1
Gunzert, Michael
1
Gutbrodt, Felix
1
Jost, Pascal
.
weiter>
Dokumentart
17
Dissertation
4
Konferenzbeitrag
2
Abschlussarbeit (Diplom)
Erscheinungsdatum
4
2010 - 2015
18
2000 - 2009
1
1999 - 1999