1
0
0
News
Bücher
Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme
von Saeid Arabestani, Technische Universität Carolo-Wilhelmina zu Braunschweig, 2005, Unbekannter Einband
DNB, Katalog der Deutschen Nationalbibliothek
portal.dnb.de
Titel/Bezeichnung, Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme / von Saeid Arabestani. [Institut für ...
beluga - Exemplare: Formal verifizierbare objektorientierte...
beluga.sub.uni-hamburg.de
Eisenbahnsicherungssysteme ; von Saeid Arabestani. Buchumschlag. Vorschau
...
Dokumente zum Namen
67 Schriftenreihe - Digitale Bibliothek Braunschweig - TU Braunschweig
digisrv-1.biblio.etc.tu-bs.de
IfEV. TU Braunschweig. Institut für Eisenbahnwesen und Verkehrssicherung. • Heft. • Formal verifizierbare objektorientierte. Systemspezifikationen mit UML für. Eisenbahnsicherungssysteme. SAEID ARABESTANI Schriftenreihe ...
67 Schriftenreihe
rzbl04.biblio.etc.tu-bs.de
Dr.-Ing. Jörn Pachl. Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme von. Dipl.-Inform. Saeid Arabestani ...
Wissenschaftliche Veröffentlichungen
dblp: BibTeX records: Saeid Arabestani
dblp.uni-trier.de
List of computer science publications by BibTeX records: Saeid Arabestani
Objekt-Metadaten @ Digitale Bibliothek Braunschweig
digisrv-1.biblio.etc.tu-bs.de
Arabestani, Saeid: Erster Prüfer : ... Um die Präzision und Überprüfbarkeit der Systemanforderungsspezifikationen zu ... Universitätsbibliothek Braunschweig ...
dblp1.uni-trier.de › conf › dfg › softspez2004SoftSpez Final Report dblp
dblp1.uni-trier.de
Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen: Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and ...
Veröffentlichungen allgemein
67 Schriftenreihe - Technische Universität Braunschweig
www.yumpu.com
TU Braunschweig. SAEID ARABESTANI. Formal verifizierbare objektorientierte. Systemspezifikationen mit UML für. Eisenbahnsicherungssysteme.
Precise Definition of the Single-Track Level Crossing in Radio ...link.springer.com › chapter
link.springer.com
Saeid Arabestani; Friedemann Bitsch; Jan-Tecker Gayen. Saeid Arabestani. 1. Friedemann Bitsch. 2. Jan-Tecker Gayen Institute of Railway Systems ...
Integration of Software Specification Techniques for Applications in...
researchr.org
... Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety RequirementsSaeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen.
Saeid Arabestani - Deutsche Digitale Bibliothek
www.deutsche-digitale-bibliothek.de
Saeid Arabestani Geboren: 1962, Teheran, Iran. Beteiligt an: Formal verifizierbare Objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme ...
Artikel & Meinungen
Schloss Dagstuhl : Participant List
www.dagstuhl.de
Stuart Anderson (University of Edinburgh, GB) Saeid Arabestani (TU Braunschweig, DE) Ramesh Bharadwaj (NRL - Washington, US) Friedemann Bitsch (Universität Stuttgart
Neuen Kommentar schreiben | innoz
www.innoz.de
Dr. Carsten Vogt (DB AG, Vorstandsressort Technik und Umwelt, Leiter Innovationsmanagement TSI); Dr. Saeid Arabestani (Eisenbahn-Bundesamt); René ...
Sonstiges
TDGS - Saeid Arabestani
scholar.tdg-seville.info
Saeid Arabestani Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen · SoftSpez Final ReportCopyright © 2008–2014 The Distributed ...
Ankündigung: Podiumsdiskussion - Autonomes Rangieren im...
www.innoz.de
Dr. Saeid Arabestani (Eisenbahn-Bundesamt) René Zweigel (RWTH Aachen, Projektleiter Galileo Online: GO!) Heiko Noll (DB Netz AG, Leiter Strategie und …
Eisenbahn-Dumjahn online: Die Versandbuchhandlung
www.dumjahn.de
Saeid Arabestani / Jan-Tecker Gayen: Bedeutung von Relationen in der objektorientierten Analyse. Stefan Peiser: TMC-EOW – Systemlösung für einfache ...
Bedeutung von Relationen in der objektorientierten Analyse ...eurailpress-archiv.de › SingleView
eurailpress-archiv.de
Dezember | Jan-Tecker Gayen, Saeid Arabestani. Seit geraumer Zeit wird der objektorientierte Ansatz für die Spezifikation und Entwicklung komplexer ...
Bedeutung von Relationen in der objektorientierten Analyse |...
eurailpress-archiv.de
December | Jan-Tecker Gayen, Saeid Arabestani. Seit geraumer Zeit wird der objektorientierte Ansatz für die Spezifikation und Entwicklung komplexer ...
Relations in Object-Oriented Analysis - PDF Free Download
docplayer.net
Relations in Object-Oriented Analysis Saeid Arabestani Technical University ... Systems Engineering and Traffic Safety (IfEV) , Braunschweig ... and Andy Schürr Fachgebiet Echtzeitsysteme Technische Universität Darmstadt ...
29 "Arabestani" names Abbas Arabestani...
child-names.com
Shahrouz Arabestani. Shahram Arabestani. Shadi Arabestani. Sepideh Arabestani. Sahar Arabestani. Saeid Arabestani. Reza Arabestani. Nazanin Arabestani. Mohsen Arabestani. Mohamad Arabestani. Masoud Arabestani. Marzieh Arabestani. Mahshid Arabestani. Hosein Arabestani. Davod Arabestani. Dario Arabestani.
Lecture Notes in Computer Science PDF Free Download
docplayer.net
3 Volume Editors Hartmut Ehrig Technische Universität Berlin, Sekr Ulm, Germany Eckehard Schnieder Technische Universität Braunschweig Langer Kamp 8, ... in UML Notation and Specification of Safety Requirements Saeid Arabestani, ...
Informationen zur Lehre und Forschung am Institut für Eisenbahnwesen...
docplayer.org
Institut für Eisenbahnwesen IfEV und Verkehrssicherung TU Braunschweig Inform. Saeid Arabestani hat als Informatiker das interdisziplinäre Team von ...
SCEAS
sceas.csd.auth.gr
Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and ...
Computer Science Bibliography Collection: Search Results for query:...
liinwww.ira.uka.de
liinwww.ira.uka.de/csbib?query=au:(Saeid+Arabestani)
auftragsvergabemonitor.de - INLOCON AG
www.auftragsvergabemonitor.de
... Saeid Arabestani Seite(n): WWW: Land: DE: Deutschland. Inhalt: In dem vorliegenden Beitrag wurde ein Ansatz zur systematischen Vorgehensweise bei der ...
Lehre und Forschung am Institut für Eisenbahnwesen und ...docplayer.org › Lehre-und-forschung-am-in...
docplayer.org
... Risikoanalyse zum Harmonisierungsvorschlag Saeid Arabestani (Siemens AG Transportation Systems): Prozessorientierte Identifikation von Gefährdungen in ...
Fahrwegsuche nach dem Spurplanprinzip - modellbasierte...
slidesdocument.com
Bachelorarbeit Fahrwegsuche nach dem Spurplanprinzip - modellbasierte Anforderungsspezifikation und Validierung eingereicht am Institut für Informatik der...
Prozessorientierte Identifikation von Gefährdungen in...
eurailpress-archiv.de
Prozessorientierte Identifikation von Gefährdungen in Eisenbahnsicherungssystemen. Oktober | Dieter Kaufholdt,Meike Lemke,Saeid Arabestani.
Formal verifizierbare objektorientierte Systemspezifikationen mit UML...
docplayer.org
Inform. Saeid Arabestani aus Teheran Heft. 6 Institut für Eisenbahnwesen und Verkehrssicherung Technische Universität Braunschweig Prof. Dr.-Ing. Jörn Pachl Pockelsstraße Braunschweig Telefon: (0) Telefax: (0) Vom Fachbereich Bauingenieurwesen der Technischen Universität Carolo Wilhelmina zu Braunschweig zur ...
Lehre und Forschung am Institut für Eisenbahnwesen und...
docplayer.org
Institut für Eisenbahnwesen IfEV und Verkehrssicherung TU Braunschweig Lehre Saeid Arabestani hat im Juli seine Promotion zum Dr.-Ing. erfolgreich abgeschlossen Die Ergebnisse werden per Monte- Carlo Simulation ermittelt.
Objektorientierte Analyse zur Modellierung im Eisenbahnweseneurailpress-archiv.de › SingleView
eurailpress-archiv.de
Objektorientierte Analyse zur Modellierung im Eisenbahnwesen. Februar | Jan-Tecker Gayen, Saeid Arabestani. Der folgende Beitrag befasst sich mit den ...
Objektorientierte Analyse zur Modellierung im Eisenbahnwesen |...
www.semanticscholar.org
Semantic Scholar extracted view of
Integration of Software Specification Techniques for Applications in...
www.infona.pl
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements · Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen · Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in ...
Verwandte Suchanfragen zu Saeid Arabestani
| Friedemann Bitsch Jan-Tecker Gayen Jan Rehn | Shri Baljindar Singh |
Personen Vorname "Saeid" (149) Name "Arabestani" (1) |
sortiert nach Relevanz / Datum