Erscheinungsjahr
Format
Lizenz
Sprache
-
Sichtgraphen : ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen
Freier ZugriffTIBKAT | 2004|Schlagwörter: Systementwicklung -
Formal aspects of computing : applicable formal methods
Freier ZugriffTIBKAT | 1.1989 -Schlagwörter: Systementwicklung -
EasyKit : eine Entwicklungsmethodik für das Rapid Engineering miniaturisierter mechatronischer Systeme
Freier ZugriffTIBKAT | 2014|Schlagwörter: Systementwicklung -
Verifikation und Validierung technischer Systeme mit Digitalen Zwillingen
Freier ZugriffTIBKAT | 2023|Schlagwörter: Systementwicklung -
Unterstützung des modellbasierten Engineerings von kollaborativen cyber-physischen Systemen mit Hilfe von Funktionen
Freier ZugriffTIBKAT | 2022|Schlagwörter: Systementwicklung -
Symbolic execution formally explained
Freier ZugriffOnline Contents | 2021|Schlagwörter: Systementwicklung -
Continuous assessment of software traceability
Freier ZugriffTIBKAT | 2016|Schlagwörter: Systementwicklung -
Proaktives Management von Anforderungsänderungen in der Entwicklung komplexer technischer Systeme
Freier ZugriffTIBKAT | 2022|Schlagwörter: Systementwicklung -
Safe Reinforcement Learning Methods for Complex Dynamical Systems Based on Model Order Reduction Techniques
Freier ZugriffTIBKAT | 2022|Schlagwörter: Systementwicklung -
Model-driven architecture and behavior of cyber-physical systems
Freier ZugriffTIBKAT | 2021|Schlagwörter: Systementwicklung -
Semantische Revisionskontrolle für die Evolution von Informations- und Datenmodellen
Freier ZugriffTIBKAT | 2020|Schlagwörter: Evolutionäre Systementwicklung -
Władysław Marek Turski (1938–2013)
Freier ZugriffOnline Contents | 2014|Schlagwörter: Systementwicklung -
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
Freier ZugriffTIBKAT | 2022|Schlagwörter: Systementwicklung -
HiBord - Hochverfügbare und intelligente Bordnetztopologien für automatisierte Fahrzeuge : Schlussbericht: Laufzeit des Vorhabens: 01.12.2016-29.02.2020
Freier ZugriffTIBKAT | 2020|Schlagwörter: Systementwicklung -
Flexible Desktop Factory zum Prüfen und Montieren von Mikrosystemen
Freier ZugriffTIBKAT | 2014|Schlagwörter: Systementwicklung -
PuRSUE -from specification of robotic environments to synthesis of controllers
Freier ZugriffOnline Contents | 2020|Schlagwörter: Systementwicklung -
Correctness and concurrent complexity of the Black-White Bakery Algorithm
Freier ZugriffOnline Contents | 2016|Schlagwörter: Systementwicklung -
$$L^*$$-based learning of Markov decision processes (extended version)
Freier ZugriffOnline Contents | 2021|Schlagwörter: Systementwicklung -
A verification-driven framework for iterative design of controllers
Freier ZugriffOnline Contents | 2019|Schlagwörter: Systementwicklung
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.