elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | 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 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
311kB

Document Type:Conference or Workshop Item (Speech)
Title:Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen
Authors:
AuthorsInstitution or Email of Authors
Ebrecht, LarsUNSPECIFIED
Date:February 2007
Refereed publication: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: Stefanie Schwartz
Deposited On:13 Apr 2007
Last Modified:12 Dec 2013 20:23

Repository Staff Only: item control page

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