Erscheinungsjahr
Format
Lizenz
Sprache
TIB-Lesesaalbestand
-
MATLAB® - Simulink® - Stateflow® : Grundlagen, Toolboxen, Beispiele
TIBKAT | 2021|Schlagwörter: Stateflow -
MATLAB - Simulink - Stateflow : Grundlagen, Tollboxen, Beispiele
TIBKAT | 2017|Schlagwörter: Stateflow -
MATLAB - Simulink - Stateflow : Grundlagen, Tollboxen, Beispiele
TIBKAT | 2017|Schlagwörter: Stateflow -
Translating a large subset of stateflow to hybrid CSP with code optimization
Elsevier | 2022|Schlagwörter: Simulink/Stateflow -
Hybrid automata: from verification to implementation
Online Contents | 2017|Schlagwörter: Simulink/Stateflow -
Matlab - Simulink - Stateflow : Grundlagen, Toolboxen, Beispiele
TIBKAT | 2014|Schlagwörter: Stateflow -
HAZOP using Stateflow software: Methodology and case study
Elsevier | 2023|Schlagwörter: Stateflow -
Formalizing hybrid systems with Event-B and the Rodin Platform
Elsevier | 2014|Schlagwörter: Simulink stateflow -
Study on Interactional Characteristics of WT Wheelchair Robot with Stairs during Stair-Climbing Process
NationallizenzTrans Tech Publications | 2013|Schlagwörter: Stateflow -
Translate the Stateflow Models into Alloy for Safety Analysis
NationallizenzTrans Tech Publications | 2014|Schlagwörter: Stateflow -
Schlussbericht für das BMBF Förderprojekt "MATLAB Simulink und Stateflow Java Adapter (MAJA)" : Zeitraum: 01.04.2009 - 31.03.2011
TIBKAT | 2011|Schlagwörter: Stateflow -
Power flow Petri Net modelling for building integrated multi-source power system with smart grid interaction
Elsevier | 2013|Schlagwörter: Stateflow -
Hybrid automata: from verification to implementation
Online Contents | 2017|Schlagwörter: Simulink/Stateflow -
Formal modeling and validation of Stateflow diagrams
Online Contents | 2012|Schlagwörter: Stateflow -
MATLAB - Simulink - Stateflow : Grundlagen, Toolboxen, Beispiele
TIBKAT | 2011|Schlagwörter: Stateflow (Computer program), Stateflow -
Schlussbericht für das BMBF Förderprojekt "MATLAB Simulink und Stateflow Java Adapter (MAJA)" : Zeitraum: 01.04.2009 - 31.03.2011
Freier ZugriffTIBKAT | 2011|Schlagwörter: Stateflow
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.