Versenden
Drucken
Ebrecht, Lars (2007) Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen. 25. TAV-Workshop, 2007-02-15 - 2007-02-16, Düsseldorf (D).
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
| elib-URL des Eintrags: | https://elib.dlr.de/223023/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||
| Titel: | Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen | ||||||||
| Autoren: |
| ||||||||
| Datum: | Februar 2007 | ||||||||
| Referierte Publikation: | Nein | ||||||||
| Open Access: | Nein | ||||||||
| Gold Open Access: | Nein | ||||||||
| In SCOPUS: | Nein | ||||||||
| In ISI Web of Science: | Nein | ||||||||
| Status: | veröffentlicht | ||||||||
| Stichwörter: | reaktive Systeme, formale Verhaltensbeschreibung, anwenderfreundlich, UML, Petri-Netz, Semantik, Sequenz-Diagramm | ||||||||
| Veranstaltungstitel: | 25. TAV-Workshop | ||||||||
| Veranstaltungsort: | Düsseldorf (D) | ||||||||
| Veranstaltungsart: | nationale Konferenz | ||||||||
| Veranstaltungsbeginn: | 15 Februar 2007 | ||||||||
| Veranstaltungsende: | 16 Februar 2007 | ||||||||
| Veranstalter : | Gesellschaft für Informatik, Fachgruppe Test, Analyse und Verifikation von Software | ||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
| HGF - Programm: | Verkehr | ||||||||
| HGF - Programmthema: | V SM - Sicherung der Mobilität (alt) | ||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||
| DLR - Forschungsgebiet: | V SM - Sicherung der Mobilität | ||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - Aufbau des Rail Lab (alt) | ||||||||
| Standort: | Braunschweig | ||||||||
| Institute & Einrichtungen: | Institut für Verkehrssystemtechnik > Institut für Verkehrsführung und Fahrzeugsteuerung > Bahnsysteme Institut für Verkehrssystemtechnik > Schienensysteme und -technologien | ||||||||
| Hinterlegt von: | Ebrecht, Lars | ||||||||
| Hinterlegt am: | 25 Feb 2026 10:59 | ||||||||
| Letzte Änderung: | 25 Feb 2026 10:59 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
