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

Preview

PDF
311kB

Item URL in elib:

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

Document Type:

Conference or Workshop Item (Speech)

Title:

Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen

Authors:

Authors	Institution or Email of Authors	Author's ORCID iD
Ebrecht, Lars	UNSPECIFIED	UNSPECIFIED

Date:

February 2007

Refereed publication:

Open Access:

Yes

Gold Open Access:

In SCOPUS:

In ISI Web of Science:

Status:

Published

Keywords:

reaktive Systeme, formale Verhaltensbeschreibung, anwenderfreundlich, UML, Petri-Netz, Semantik, Sequenz-Diagramm

Event Title:

25. TAV-Workshop

Event Location:

Düsseldorf (D)

Event Type:

national Conference

Event Dates:

2007-02-15 - 2007-02-16

Organizer:

Gesellschaft für Informatik, Fachgruppe Test, Analyse und Verifikation von Software

HGF - Research field:

Aeronautics, Space and Transport

HGF - Program:

Transport

HGF - Program Themes:

V SM - Sicherung der Mobilität (old)

DLR - Research area:

Transport

DLR - Program:

V SM - Sicherung der Mobilität

DLR - Research theme (Project):

V - Aufbau des Rail Lab (old)

Location:

Braunschweig

Institutes and Institutions:

Institute of Transportation Systems > Institute of Transportation Systems > Rail Systems

Deposited By:

Schwartz, Stefanie

Deposited On:

13 Apr 2007

Last Modified:

31 Jul 2019 19:19

Repository Staff Only: item control page