Publications of the R&D-Division Transportation
Below you will find all publication - published in the R+D Division Transportation.
Using the search box, you can narrow the issue further, for example, you can search by author, title, text content, or booktitle.
Title
Modellierung und Simulation eines Portalkrans mit der OOCOSIM-Methode
All authors
Oppenheimer, Frank; Schumacher, Guido; Nebel, Wolfgang
Year
2000
Title
Synthesis oriented communication design for structural hardware objects
All authors
Putzke-Röming, Wolfram; Nebel, Wolfgang
Year
2000
Title
Object-oriented specification and design of embedded hard real-time systems
All authors
Nebel, Wolfgang; Radetzki, Martin; Oppenheimer, Frank; Schumacher, Guido; Kabous, Laila; Putzke-Röming, Wolfram
Year
2000
Title
System specification experiments on a common benchmark
All authors
Gorla, G.; Moser, E.; Nebel, W.; Villar, E.
Year
2000
Title
Modellierung eines eingebetteten Echtzeitsteuerungssystems am Beispiel eines Personenaufzugs.
All authors
Zhang, Dongming
Year
1999
Title
Webbasiertes exploratives Tutorial zur Lehrveranstaltung EIS \"Funktionsweise des MOS-Transistors\".
All authors
Janßen, Kai
Year
1999
Title
Die hybride Komponente von ISO/ESPC: Verknüpfung manueller Messungen, formaler Analyse und multimedialer Präsentation
Booktitle
3. Workshop Multimedia für Bildung und Wirtschaft
All authors
Möbus, C.; Thole, H.J.
Year
1999
Title
Eine intelligente Problemlöseumgebung auf Basis kooperativen Hypothesentestens im Patentwesen
Booktitle
9. Arbeitstreffen der GI-Fachgruppe 1.1.5/7.0.1 Intelligente Lehr-/Lernsysteme, LWA99 Sammelband
All authors
Willms, J.
Year
1999
Title
Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme
All authors
Wittich, G.
Year
1999
Title
Ein objektorientiertes Wissensmodell zur Konfigurierung digitaler Systeme.
All authors
Agsteiner, Karlheinz
Year
1999
Title
Design Process and Tools for the HW/SW-Codesign and Rapid-Prototyping of Parallel and Heterogenous Real-Time Communication Systems
Booktitle
Tagungsband
All authors
Slomka, Frank; Dörfel, Matthias; Spitz, S.; Hofmann, R.
Year
1999
Title
A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications
Booktitle
Tagungsband
All authors
Dörfel, Matthias; Slomka, Frank; Hofmann, R.
Year
1999
Title
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
Booktitle
Tagungsband
All authors
Bringmann, Oliver; Muth, A.; Slomka, Frank; Rosenstiel, Wolfgang; Färber, G.; Hofmann, R.
Year
1999
Title
Secure Decentralized Control of Railway Crossings
Booktitle
Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems
All authors
Damm, W.; Döhmen, G.; Klose, J.
Year
1999
Title
Specification of Embedded Monitors for Property Checking
Booktitle
Proceedings, Forum on Design Languages, FDL'99
All authors
Allara, A.; Bombana, M.; Josko, S. Comai and B.; Schlör, R.; Sciuto, D.
Year
1999
Title
Model Checking and Higher-Order Recursion
Booktitle
Math. Found. of Comp. Sc.
All authors
Hungar, Hardi
Year
1999
Title
System Verification using User-Friendly Interfaces
Booktitle
Design, Automation and Test in Europe / User Forum
All authors
Schlör, R.; Allara, A.; Comai, S.
Year
1999
Title
Silicon cochlea : a digital VLSI implementation of a psychoacoustically and physiologically motivated speech preprocessor
All authors
Schwarz, A.; Mertsching, B.; Brucke, Matthias; Nebel, Wolfgang; Hansen, M.; Kollmeier, B.
Year
1999
Title
Synthesizing hardware from object-oriented descriptions
All authors
Radetzki, Martin; Nebel, Wolfgang
Year
1999
Title
Data type analysis for hardware synthesis from object-oriented models
All authors
Radetzki, Martin; Putzke-Röming, Wolfram; Stammermann, Ansgar; Nebel, Wolfgang
Year
1999
Title
Overview of Objective VHDL language features
All authors
Radetzki, Martin; Nebel, Wolfgang
Year
1999
Title
Synthesis of hardware structures from object-oriented models
All authors
Radetzki, Martin; Nebel, Wolfgang
Year
1999
Title
OOCOSIM - objektorientierte Spezifikation und Simulation eingebetteter Realzeitsysteme
All authors
Oppenheimer, Frank; Schumacher, Guido
Year
1999
Title
OOCOSIM - objektorientierte Spezifikation und Simulation eingebetteter Realzeitsysteme
All authors
Oppenheimer, Frank; Schumacher, Guido; Nebel, Wolfgang
Year
1999