Publikationen im FuE-Bereich Verkehr
Nachfolgend finden Sie alle - innerhalb des FuE-Bereichs Verkehr veröffentlichten - Publikationen.
Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.
Titel
COHSID: ComiX HW/SW Interface Designer
Alle Autoren
Oppenheimer, Frank; Zhang, Dongming; Nebel, Wolfgang
Jahr
2001
Titel
Modelling Communication Interfaces with ComiX
Alle Autoren
Oppenheimer, Frank; Zhang, Dongming; Nebel, Wolfgang
Jahr
2001
Titel
Aspects of Object-Oriented Hardware Modelling with SystemC-Plus
Alle Autoren
Grimpe, Eike; Oppenheimer, Frank
Jahr
2001
Titel
Objektorientierte Hardwarebeschreibung und -synthese aufbauend auf SystemC
Buchtitel
Tagungsband Teil 1
Alle Autoren
Grimpe, Eike; Oppenheimer, Frank
Jahr
2001
Titel
Advanced Validation Techniques Meet Complexity Challenge in Embedded Software Development
Alle Autoren
Damm, Werner; Cohen, Moshe
Jahr
2001
Titel
UML Validation Suite
Buchtitel
Proceedings of FATES'01 - Formal Approaches to Testing of Software
Alle Autoren
Brockmeyer, Udo; Klose, Jochen; Lettrari, Marc
Jahr
2001
Titel
Verification of a Radio-based Signaling System Using the Statemate Verification Environment
Alle Autoren
Damm, W.; Klose, J.
Jahr
2001
Titel
A General Approach for the Specification of Real-Time Systems with SDL
Buchtitel
Tagungsband
Alle Autoren
Münzenberger, Ralf; Slomka, Frank; Dörfel, Matthias; Hofmann, R.
Jahr
2001
Titel
Architecture and Data Model of Nexus
Alle Autoren
Nicklas, Daniela; Grossmann, Matthias; Schwarz, Thomas; Volz, Steffen
Jahr
2001
Titel
A Model-Based, Open Architecture for Mobile, Spatially Aware Applications.
Buchtitel
{Advances in Spatial and Temporal Databases, 7th International Symposium, {SSTD} 2001, Redondo Beach, {CA,} {USA,} July 12-15, 2001, Proceedings
Alle Autoren
Nicklas, Daniela; Grossmann, Matthias; Schwarz, Thomas; Volz, Steffen; Mitschang, Bernhard
Jahr
2001
Titel
Towards Location-based Games
Buchtitel
Proceedings of the International Conference on Applications and Development of Computer Games in the 21st Century: ADCOG 21
Alle Autoren
Nicklas, Daniela; Pfisterer, Christoph; Mitschang, Bernhard
Jahr
2001
Titel
Die handlungsorientierte Komponente von ISO/ESPC - eine authentische Lernumgebung
Buchtitel
Proceedings 10. Arbeitstreffen der GI-Fachgruppe 1.1.5/7.0.1 Intelligente Lehr-und Lehrsysteme
Alle Autoren
Möbus, C.; Thole, H.-J.; Folckers, J.; Göhlers, H.
Jahr
2000
Titel
Kreativität in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus TRIZ
Buchtitel
Informatik 2000, Neue Horizonte im neuen Jahrhundert, 30. Jahrestagung der Gesellschaft für Informatik
Alle Autoren
Willms, J.; Wentzlaff, I.; Specker, M.
Jahr
2000
Titel
Entwurf und Implementierung eines 8 Bit 8051 kompatiblen Mikrocontrollers
Alle Autoren
Grimpe, Eike
Jahr
2000
Titel
Evolution of the Hypothesis Testing Approach in Intelligent Problem Solving Environments
Buchtitel
Intelligent Tutoring Systems : Proceedings of the 5th International Conference ITS2002
Alle Autoren
Willms, J.; Möbus, C.
Jahr
2000
Titel
Synthesis of Digital Circuits from Object-Oriented Specifications
Alle Autoren
Radetzki, Martin
Jahr
2000
Titel
Die EVENTS-Architektur
Buchtitel
it + ti
Alle Autoren
Damm, Werner; Metzner, Alexander; Mikschl, Alfred; Niehaus, Jürgen
Jahr
2000
Titel
MSPARC: Multithreading in Real-Time Architectures
Buchtitel
Journal of Universal Computer Science
Alle Autoren
Metzner, Alexander; Niehaus, Jürgen
Jahr
2000
Titel
Hardware/Software Codesign and Rapid-Prototyping of Embedded Systems
Buchtitel
Tagungsband
Alle Autoren
Slomka, Frank; Dörfel, Matthias; Münzenberger, Ralf; Hofmann, R.
Jahr
2000
Titel
Das interaktive Produktionsspiel von ISO/ESPC - ein authentisches Lernszenario
Buchtitel
4. Workshop Multimedia für Bildung und Wirtschaft
Alle Autoren
Möbus, C; Thole, H.J.
Jahr
2000
Titel
Automatic Debugging for STATEMATE Designs
Alle Autoren
Bienmüller, T.; Brockmeyer, U.; Holberg, H. J; Wittke, H.
Jahr
2000
Titel
The STATEMATE Verification Environment - Making it real
Buchtitel
12th international Conference on Computer Aided Verification, CAV
Alle Autoren
Bienmüller, T.; Damm, W.; Wittke, H.
Jahr
2000
Titel
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
Buchtitel
Object-Oriented Technology - ECOOP 2000 Workshop Reader
Alle Autoren
Terrier, F.; Voros, N.; Brockmeyer, U.
Jahr
2000