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).

Vorschau

PDF
311kB

elib-URL des Eintrags:

https://elib.dlr.de/47456/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Ebrecht, Lars	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

Februar 2007

Referierte Publikation:

Nein

Open Access:

Gold Open Access:

Nein

In SCOPUS:

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:

Schwartz, Stefanie

Hinterlegt am:

13 Apr 2007

Letzte Änderung:

31 Jul 2019 19:19

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags