Tell a friend
Print
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]](http://elib.dlr.de/style/images/fileicons/application_pdf.png)
| PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 304Kb |
| Document Type: | Conference or Workshop Item (Speech) | ||||
|---|---|---|---|---|---|
| Title: | Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen | ||||
| Authors: |
| ||||
| Date: | February 2007 | ||||
| Refereed publication: | 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 | ||||
| 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: | 15 Jan 2010 00:23 |
Repository Staff Only: item control page
