Anzahl: 5 10 25 50 100 Alle
Seiten: << < 1 .. 30 31 32 33 34 .. 48 > >>
InProceedings
2003
Johannes Lessmann and Wolfram Hardt
IPQ Format based Tool-Chain
IN Demo Presentations of the German Workshop on Entwurfsplattformen komplexer angewandter Systeme und Schaltungen (EkompaSS), April 2003.
IPQ Format based Tool-Chain
IN Demo Presentations of the German Workshop on Entwurfsplattformen komplexer angewandter Systeme und Schaltungen (EkompaSS), April 2003.
Johannes Lessmann and Wolfram Hardt
IPQ Format based Tool-Chain
IN Poster Session of the German Workshop on Entwurfsplattformen komplexer angewandter Systeme und Schaltungen (EkompaSS), April 2003.
IPQ Format based Tool-Chain
IN Poster Session of the German Workshop on Entwurfsplattformen komplexer angewandter Systeme und Schaltungen (EkompaSS), April 2003.
Stefan Ihmor and Wolfram Hardt
Modeling of Configurable HW/SW-Interfaces
IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 51 - 60, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
Modeling of Configurable HW/SW-Interfaces
IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 51 - 60, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
Mathias Sporer and Dieter Monjau
Datenbanken zur konsistenten Speicherung von Entwurfsdaten für eingebettete Systeme
IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 62 - 71, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
Datenbanken zur konsistenten Speicherung von Entwurfsdaten für eingebettete Systeme
IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 62 - 71, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
Mathias Sporer and Dieter Monjau
A universal simulation environment for embedded systems
IN Proceedings of the IASTED International Conference Modelling, Identification and Control (MIC 2003), February 2003. ISBN: 0-88986-339-3
A universal simulation environment for embedded systems
IN Proceedings of the IASTED International Conference Modelling, Identification and Control (MIC 2003), February 2003. ISBN: 0-88986-339-3
Stefan Ihmor and Wolfram Hardt
Modeling of Configurable HW/SW-Interfaces
IN RSS2003, page 51 - 60, Shaker Verlag, Aachen, Deutschland, February 2003.
Modeling of Configurable HW/SW-Interfaces
IN RSS2003, page 51 - 60, Shaker Verlag, Aachen, Deutschland, February 2003.
Marco Fischer and Stefan Förster and André Windisch
A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems
Berichte aus der Informatik, IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems
Berichte aus der Informatik, IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
2002
Johannes Lessmann and Wolfram Hardt
Tool Demonstration on IPQ Format based Retrieval
IN Proc. of the International Workshop of the MEDEA+ Project A-511 ToolIP, October 2002.
Tool Demonstration on IPQ Format based Retrieval
IN Proc. of the International Workshop of the MEDEA+ Project A-511 ToolIP, October 2002.
Johannes Lessmann and Stefan Ihmor and Wolfram Hardt
IPQ Format based Retrieval
IN MEDEA+ Design Automation Conference - Demonstration and Poster Exhibition, October 2002.
IPQ Format based Retrieval
IN MEDEA+ Design Automation Conference - Demonstration and Poster Exhibition, October 2002.
Martin Schaaf and Ralph Bergmann and Rainer Maximini and Marco Spinelli and Johannes Lessmann and Wolfram Hardt and Stefan Ihmor and Wolfgang Thronicke and Jasmin Franz and Carsten Tautz and Ralph Traphöner
IPCHL - A Description Language for Semantic IP Characterization
IN Best of FDL'02, System Specification & Design Languages, September 2002.
IPCHL - A Description Language for Semantic IP Characterization
IN Best of FDL'02, System Specification & Design Languages, September 2002.
Seiten: << < 1 .. 30 31 32 33 34 .. 48 > >>
