elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] 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]
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:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Ebrecht, LarsUNSPECIFIEDUNSPECIFIED
Date:February 2007
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
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

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.