„Statechart“

Suchergebnisse

93 Treffer

• Automatisierte Testplanerstellung für Betriebsstrategien von Hybridfahrzeugen – Zustandsbasierte Testfallerstellung auf der Grundlage von Statecharts
  Poser, Robert 2007 Diplom.de
• Modellbasierte Testfallgenerierung und Ausführung für dasTesten eines Echtzeitsystems auf Konformität – Model-based test case generation and execution for testing a real-time system for compliance
  Nisch, Daniel ; Buth, Bettina ; Kahlbrandt, Bernd 2019 Hochschule für Angewandte Wissenschaften Hamburg
• A Robot-Agnostic Kinematic Control Framework: Task Composition via Motion Statecharts and Linear Model Predictive Control
  Stelter, Simon ; Beetz, Michael ; Albu-Schäffer, Alin 2025 Staats- und Universitätsbibliothek Bremen
• Compilation, Worst-Case Execution Times, and Schedulability Analysis of Statecharts Models
  Erpenbach, Edwin 2000 Shaker
• Compilation, worst case execution times, and schedulability analysis of statecharts models
  Erpenbach, Edwin 2000 Shaker
• Consistency management of object oriented behavioral models
  Küster, Jochen M. 2004 Shaker
• An extended version of mini statecharts
  Scholz, Peter 1996 Math. Inst. und Inst. für Informatik
• Mini-statecharts – a lean version of statecharts
  Nazareth, Dieter ; Regensburger, Franz ; Scholz, Peter 1996 Math. Inst. und Inst. für Informatik
• Design of reactive systems and their distributed implementation with statecharts
  Scholz, Peter 1998 Inst. für Informatik
• Integration of structured analysis and timed statecharts for real-time and concurrency specification
  Beeck, Michael ˜von derœ 1992 RWTH, Fachgruppe Informatik
• Automated support for deriving test requirements from UML statecharts
  Briand, L. C. ; Labiche, Y. ; Cui, J.
• Formale Fehlerbaumanalyse
  Thums, Andreas
• Semantics of form oriented analysis
  Weber, Gerald
• Developing concepts and methods for module and integration tests for models of reactive systems
  Kyeyune, Yusufu
• Höhere Petrinetze als Grundlage für Systemspezifikationen
  Moldt, Daniel
• μSZ – ein Ansatz zur systematischen Verbindung von Z und Statecharts
  Büssow, Robert 1996 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• DiaMod – ein Werkzeugsystem zur Modellierung natürlichsprachlicher Dialoge
  Kölzer, Anke 2002 Mensch-und-Buch-Verl.
• Semantics and verification of statecharts
  Mikk, Erich 2000 Inst. für Informatik und Praktische Mathematik
• Linking visual formalisms – a compositional proof system for statecharts based on symbolic timing diagrams
  Helbig, Johannes 1998 Carl-v.-Ossietzky-Univ., Fachbereich Informatik
• Eine DSL für Harel-Statecharts mit PetitParser
  Brauer, Johannes ; Crasemann, Christoph ; Krasemann, Hartmut 2010 Nordakademie, Hochschule der Wirtschaft