Tell a friend
Print
Ebrecht, Lars (2007) Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen. 25. TAV-Workshop, 2007-02-15 - 2007-02-16, Düsseldorf (D).
Full text not available from this repository.
| Item URL in elib: | https://elib.dlr.de/223023/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||
| Title: | Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen | ||||||||
| Authors: |
| ||||||||
| Date: | February 2007 | ||||||||
| Refereed publication: | No | ||||||||
| Open Access: | No | ||||||||
| 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 Start Date: | 15 February 2007 | ||||||||
| Event End Date: | 16 February 2007 | ||||||||
| 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 Institute of Transportation Systems > Railway Technologies | ||||||||
| Deposited By: | Ebrecht, Lars | ||||||||
| Deposited On: | 25 Feb 2026 10:59 | ||||||||
| Last Modified: | 25 Feb 2026 10:59 |
Repository Staff Only: item control page
