elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] 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]
Vorschau
PDF
311kB

elib-URL des Eintrags:https://elib.dlr.de/47456/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Formale und anwenderfreundliche Verhaltensbeschreibung von reaktiven Systemen
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Ebrecht, LarsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:Februar 2007
Referierte Publikation:Nein
Open Access:Ja
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
Hinterlegt von: Schwartz, Stefanie
Hinterlegt am:13 Apr 2007
Letzte Änderung:24 Apr 2024 19:09

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.