Projekte im FuE-Bereich Verkehr
Integration algebraischer Datendarstellungen in symbolisches Modelchecken
Laufzeit: 2000 - 2002
Ammerländer Logistik
Laufzeit: 2005 - 2007
Analysis and Design of run-time Reconfigurable, heterogeneous Systems
Laufzeit: 2006 - 2009
Netzwerk für Entwurfsmethoden für Eingebettete Systeme
Laufzeit: 2002 - 2006
Entwurf Eingebetteter Systeme - Exzellenznetzwerk
Laufzeit: 2004 - 2008
Exzellenznetzwerk: Entwurf eingebetteter Systeme
Laufzeit: 2008 - 2011
Formale Verifikation von ASCET-SD-Modellen
Laufzeit: 2002 - 2005
Automotive System Integration
Laufzeit: 2009 - 2009
Architektur für die automatische Verlustleistungsminimierung von Signalverarbeitungssystemen
Laufzeit: 2004 - 2005
Betriebsdatenerfassung mit RFID
Laufzeit: 2013 - offen
Connected Cars in a Connected World
Laufzeit: 2007 - 2012
Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems
Laufzeit: 2009 - 2012
Controlling LEAkage power in NanoCMOS SoCs
Laufzeit: 2005 - 2008
Provably Correct Communication Networks
Laufzeit: 1993 - 1996
Komponentenbasierte Entwurfsmethoden für eingebettete Systeme
Laufzeit: 2008 - 2011
COdesign and power Management in PLatform-based design space EXploration
Laufzeit: 2009 - 2012
Design Pattern für Eingebetteter Systeme
Laufzeit: 2003 - 2005
Dependability Netzwerk
Laufzeit: 2004 - 2008
Electronic Architecture and System Engineering for Integrated Safety Systems
Laufzeit: 2004 - 2007
Entwicklung und Implementierung spezieller Transponder und Herstellungsverfahren für die ...
Laufzeit: 2005 - 2008
Neue Methoden in der Sicherheitsanalyse komplexer Systeme
Laufzeit: 2001 - 2003
Entwicklung einer handlungsorientierten und wissensbasierten Lernumgebung in der Elektrotechnik
Laufzeit: 2001 - 2004
European Intellectual Property In Designing Electronic Systems
Laufzeit: 2000 - 2002
Formal Methods for Correct System Design
Laufzeit: 1993 - 1995
Forschungskooperation mit der ChipVision Design Systems AG
Laufzeit: 2003 - 2012
Anwendung der FORMAT-Werkzeuge im industriellen Umfeld
Laufzeit: 1996 - 1997
Competitive Aerial Robotic Technologies
Laufzeit: 2008 - 2010
Model-based Analysis of Human Errors during Aircraft Cockpit System Design
Laufzeit: 2008 - 2011
Entwicklung einer innovativen CBT Architektur im Internet
Laufzeit: 2001 - 2004
Interface and Communication based Design of Embedded Systems
Laufzeit: 2004 - 2007
Integrated Modeling for Safe Transportation
Laufzeit: 2007 - 2010
Integrated Modeling for Safe Transportation 2
Laufzeit: 2010 - 2013
Einflussanalyse neuer Entwicklungsmethoden auf industrielle Entwicklungsprozesse
Laufzeit: 2009 - 2011
Innovative Operational UAS Integration
Laufzeit: 2007 - 2009
Integrative Pattern- und UML-orientierte Lern- und System-Entwicklungsumgebung
Laufzeit: 2004 - 2005
Intelligent Integration Of Railway Systems
Laufzeit: 2005 - 2008
Industry-driven Training for Low-Power European Designers
Laufzeit: 2002 - 2005
Verifikationstechniken zum IP-Schutz
Laufzeit: 2003 - 2004
Erweiterte Sicherheitsanalysetechniken für komplexe Systeme in der Luftfahrt
Laufzeit: 2004 - 2007
Integrated Human Modelling and Simulation to support Human Error Analysis of Partially ...
Laufzeit: 2008 - 2011
Verlustleistungsanalyse integrierter Schaltungen
Laufzeit: 2000 - 2000
Korrekte Software für sicherheitskritische Systeme
Laufzeit: 1995 - 1998
Low-Power-Entwurfsmethoden für mobile Systeme
Laufzeit: 2003 - 2007
Verlustleistungsanalyse kontrolldominierter Systeme auf Verhaltensebene
Laufzeit: 2000 - 2001
Analyse der Verlustleistung integrierter Schaltungen basierend auf Systemspezifikationen in C/C++
Laufzeit: 2001 - 2002
Micro-Architectural Power Management: Methoden, Algorithmen und prototypische Werkzeuge
Laufzeit: 2006 - 2008
Ein zentraler Marktplatz für die Verbreitung von Kenntnissen über die Entwicklung ...
Laufzeit: 2002 - 2005
More Integrated and cost efficient Systems Safety Assessment
Laufzeit: 2008 - 2011
Multimediales Selbstlernsystem zur Aus-und Fortbildung von Elektrofachkräften
Laufzeit: 1997 - 1998
Niedersächsisches Kompetenzzentrum Informationssysteme für die mobile Nutzung
Laufzeit: 2001 - 2011
Object-oriented co-DEsign and functional Test TEchniques
Laufzeit: 2000 - 2003
Entwicklung korrekter eingebetteter Realzeitsysteme
Laufzeit: 2002 - 2005
Analyse und Spezifikation von Kommunikationsmechanismen für ein objektorientiertes Hardwaredesign
Laufzeit: 2000 - 2001
Objektorientierte Co-Simulation eingebetteter Systeme Projekt der DFG (Deutsche ...
Laufzeit: 2000 - 2003
CENELEC-getriebene Optimierung der Entwicklung bahntechnischer Systeme
Laufzeit: 2004 - 2006
Power Estimation for fast Exploration of Embedded Systems
Laufzeit: 2000 - 2001
Entwicklung eines Pick-to-Light-Systems mit umfassenden prozessorgesteuerten ...
Laufzeit: 2001 - 2004
Personal Mobility Center
Laufzeit: 2010 - 2011
Verlustleistungs-Optimierungen eingebetteter Systeme
Laufzeit: 2001 - 2005
Polymorphe Objekte für den Entwurf dynamischer rekonfigurierbarer FPGAs
Laufzeit: 2003 - 2008
Info-Terminal für Vitakraft
Laufzeit: 2006 - 2009
Power Optimization and Simulation. Efficient strategies in deep sub-micron CMOS
Laufzeit: 2000 - 2000
Methodik und Werkzeuge für den verlustleistungsoptimiertenAlgorithmen- und ...
Laufzeit: 2000 - 2004
Referenzsystem zur Messung der Produktivität eim Entwurf nanoelektronischer Systeme
Laufzeit: 2005 - 2008
Rapid System Prototyping und Plattform-basierter Entwurf für Mixed-Signal-Mehrprozessor SoC
Laufzeit: 2008 - 2011
REuse and QUality ESTimation
Laufzeit: 2000 - 2000
Designing Robust Nanoelectric Systems
Laufzeit: 2009 - 2012
Safety Critical Embedded Systems
Laufzeit: 1995 - 1998
Eingebettete Systeme in sicherheitskritischen Avioniksystemen
Laufzeit: 2000 - 2004
Sichere autonome Logistik- und Transportfahrzeuge im Außenbereich
Laufzeit: 2009 - 2012
Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten ...
Laufzeit: 2009 - 2012
Sensor Configuration and Aggregation Middleware for Multi Platform Interchange
Laufzeit: 2009 - 2012
Strategische Handlungsflexibilität in absatzwirtschaftlichen Bereichen
Laufzeit: 1996 - 1997
Computergestütztes Trainingsprogramm für strategische Handlungsflexibilität
Laufzeit: 2000 - 2004
Spezifikationsbasierte Hardware-/Software-Entwurfsmethodik für hochkomplexe Anwendungen ...
Laufzeit: 2001 - 2003
Spezifikationsbasierte Hardware-/Software-Entwurfsmethodik für hochkomplexe Anwendungen ...
Laufzeit: 2003 - 2005
Speculative and Exploratory Design in Systems Engineering
Laufzeit: 2006 - 2010
Software Plattform Embedded Systems 2020
Laufzeit: 2008 - 2012
Statische Qualitätsanalyse von Software und Hardware
Laufzeit: 2000 - 2000
Wissensbasierte Methoden in der Sicherheitsanalyse
Laufzeit: 1998 - 2001
Wissensbasiertes Computer Based Training zur Kunststoffherstellung
Laufzeit: 1995 - 1996
Einsatz visueller Formalismen in der industriellen Praxis
Laufzeit: 1999 - 2001
Formal Verification of VHDL-Based Real-Time Hardware Designs
Laufzeit: 1994 - 1998
Verifying System Designs Using Formal Methods
Laufzeit: 1997 - 1999
Verifikation moderner Prozessor-Architekturen
Laufzeit: 1999 - 2001
Beweisen als Ingenieurwissenschaft
Laufzeit: 2005 - 2007
Kompetenzzentrum Engineering sicherheitskritischer Systeme
Laufzeit: 2001 - 2003
Verteilte integrierte Systeme und Netzwerkarchitekturen für die Applikationsdomänen ...
Laufzeit: 2006 - 2009
Virtuelles Software-Engineering-Kompetenznetz
Laufzeit: 2004 - 2007
Verifikation eingebetteter Systeme basierend auf UML
Laufzeit: 1999 - 2002
