elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen

Ebrecht, Lars (2007) Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen. 25. TAV-Workshop, 2007-02-15 - 2007-02-16, Düsseldorf (D).

[img]
Vorschau
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
311kB

Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Ebrecht, LarsNICHT SPEZIFIZIERT
Datum:Februar 2007
Referierte Publikation:Nein
In ISI Web of Science:Nein
Status:veröffentlicht
Stichwörter:reaktive Systeme, formale Verhaltensbeschreibung, anwenderfreundlich, UML, Petri-Netz, Semantik, Sequenz-Diagramm
Veranstaltungstitel:25. TAV-Workshop
Veranstaltungsort:Düsseldorf (D)
Veranstaltungsart:nationale Konferenz
Veranstaltungsdatum:2007-02-15 - 2007-02-16
Veranstalter :Gesellschaft für Informatik, Fachgruppe Test, Analyse und Verifikation von Software
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:V SM - Sicherung der Mobilität (alt)
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V SM - Sicherung der Mobilität
DLR - Teilgebiet (Projekt, Vorhaben):V - Aufbau des Rail Lab (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik > Institut für Verkehrsführung und Fahrzeugsteuerung > Bahnsysteme
Hinterlegt von: Stefanie Schwartz
Hinterlegt am:13 Apr 2007
Letzte Änderung:12 Dez 2013 20:23

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.