„Reaktives System“

Suchergebnisse

1.000+ Treffer

• Spezifikation reaktiver Systeme durch temporal stratifizierte Programme
  Malik, Robi ; Mayer, Otto 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Eine Fixpunkt-Semantik für temporal stratifizierte Programme
  Malik, Robi ; Mayer, Otto 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Reaktives Sintern im System TiO2-Al
  Oh, Sung-Tag 1995 Inst. für Metallkunde [u.a.]
• Temporal verification of reactive systems – safety
  Manna, Zohar ; Pnueli, Amir 1995 Springer
• Hypervisor-basierte Partitionierung von Mixed-Criticality-Anwendungen in heterogenen eingebetteten Systemen
  Schade, Florian ; Becker, Jürgen ; Fleischer, Jürgen 2024 KIT-Bibliothek
• Come, Let’s Play – Scenario-Based Programming Using LSCs and the Play-Engine
  2003 Springer Berlin Heidelberg
• Analysis and synthesis of interactive component and connector systems
  Ringert, Jan Oliver ; Rumpe, Bernhard ; Chechik, Marsha 2022 Universitätsbibliothek der RWTH Aachen
• Vorausschauende und reaktive Mehrzieloptimierung für die Produktionssteuerung einer Matrixproduktion
  Hofmann, Constantin 2021 Shaker
• Vorausschauende und reaktive Mehrzieloptimierung für die Produktionssteuerung einer Matrixproduktion
  Hofmann, Constantin ; Lanza, G. 2021 KIT-Bibliothek
• Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme
  Kormann, Benjamin ; Siemers, Christian 2016 Technische Universität Clausthal
• Prädiktiv-reaktives Scheduling zur Steigerung der Robustheit in der Matrix-Produktion
  Echsler Minguillon, Fabio 2020 KIT-Bibliothek
• Verankerung der Semantik veränderlicher Situations-Fakten und symbolischer Aktionen in der hybriden Roboterkontrollarchitektur DD&P
  Schönherr, Frank 2004 Shaker
• Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache
  Mertke, Thomas 2004 Shaker
• Ganzheitliche Fehlertoleranz in eingebetteten Softwaresystemen
  Ulbrich, Peter ; Schröder-Preikschat, Wolfgang 2014 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Systematische Entwicklung amorpher Kohlenstoffschichten unter Berücksichtigung der Anforderungen der Blechmassivumformung
  Hetzner, Harald ; Wartzack, Sandro ; Durst, Karsten 2014 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Entwicklung robuster Bildverarbeitungsalgorithmen für Serviceroboter mittels konfigurierbarer reaktiver Ablaufstrukturen
  Lange, Uwe 2013 Shaker
• Synthesis of winning strategies for interaction under partial information
  Puchala, Bernd 2013 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• A study of pushdown games
  Fridman, Wladimir 2013 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Towards the Policy Refinement Problem in Policy-based Management Systems – A synthesis study
  Rubio-Loyola, Javier 2008 VDM Verlag Dr. Müller
• Neural preprocessing and control of reactive walking machines – towards versatile artificial perception action systems ; with 3 tables
  Manoonpong, Poramate 2007 Springer