المؤلفون: Grünhäuser, Miriam, Hartmann, Katharina, Bier, Igor, Asbach, Lennart

مصطلحات موضوعية: EULYNX, Testen, ETCS

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1640::1d34d61d7699250bd2923cba325f88f0
https://elib.dlr.de/195766/

المؤلفون: Kluge, Alexander

Thesis Advisors: Maschek, Ulrich, Kahl, Richard, Fuchs, Stefan, Technische Universität Dresden

مصطلحات موضوعية: EULYNX, SCI-LX, BÜSA, DSTW, Leit- und Sicherungstechnik, LST, Laboranlage, info:eu-repo/classification/ddc/380, ddc:380, info:eu-repo/classification/ddc/620, ddc:620

الاتاحة: https://tud.qucosa.de/id/qucosa%3A84900
https://tud.qucosa.de/api/qucosa%3A84900/attachment/ATT-0/

المؤلفون: Yar, Asfand

المساهمون: Université Grenoble Alpes, Ledru, Yves, Idani, Akram, Collart-Dutilleul, Simon

مصطلحات موضوعية: Méthodes formelles, Langages spécifiques au domaine, Modélisation, Systèmes ferroviaires, Ertms/etcs, Eulynx, Domain Specific Languages, Railway systems, Modeling, Formal methods

Time: 004

Relation: http://www.theses.fr/2023GRALM090/document

الاتاحة: http://www.theses.fr/2023GRALM090/document

المؤلفون: Yar, Asfand

المساهمون: Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Validation de Systèmes, Composants et Objets logiciels (VASCO), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes 2020-., Yves Ledru, Akram Idani, Simon Collart-Dutilleul

المصدر: https://theses.hal.science/tel-04675703 ; Mathematical Software [cs.MS]. Université Grenoble Alpes [2020-.], 2023. English. ⟨NNT : 2023GRALM090⟩.

مصطلحات موضوعية: Railway systems, Modeling, Formal methods, Ertms/etcs, Eulynx, Domain Specific Languages, Méthodes formelles, Langages spécifiques au domaine, Modélisation, Systèmes ferroviaires, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

Relation: NNT: 2023GRALM090

الاتاحة: https://theses.hal.science/tel-04675703
https://theses.hal.science/tel-04675703v1/document
https://theses.hal.science/tel-04675703v1/file/YAR_2023_archivage.pdf

المؤلفون: Reiter, Frederic

Thesis Advisors: Maschek, Ulrich, Kahl, Richard, Iffländer, Lukas, Technische Universität Dresden

مصطلحات موضوعية: DSTW, EULYNX, Testumgebung, Leit- und Sicherungstechnik, info:eu-repo/classification/ddc/380, ddc:380

الاتاحة: https://tud.qucosa.de/id/qucosa%3A83730
https://tud.qucosa.de/api/qucosa%3A83730/attachment/ATT-0/

المؤلفون: Kahl, Richard

Thesis Advisors: Trinckauf, Jochen, Polze, Andreas, Technische Universität Dresden

مصطلحات موضوعية: ETCS, Zugbeeinflussungssystem, Eisenbahn, EULYNX, Versuchsanlage, info:eu-repo/classification/ddc/380, ddc:380

الاتاحة: https://tud.qucosa.de/id/qucosa%3A87635
https://tud.qucosa.de/api/qucosa%3A87635/attachment/ATT-0/

المؤلفون: Biehl, Anika

Thesis Advisors: Kahl, Richard, Maschek, Ulrich, Sélley, György, Technische Universität Dresden

مصطلحات موضوعية: BÜ, ETCS, FSÜ, ÜSOE, Bremskurven, BÜSA, FS, MA, ETCS, Level Crossing, SCI-LX, FS, Braking Curve, MA, Eulynx, info:eu-repo/classification/ddc/380, ddc:380

الاتاحة: https://tud.qucosa.de/id/qucosa%3A80730
https://tud.qucosa.de/api/qucosa%3A80730/attachment/ATT-0/

المؤلفون: Schwencke, Daniel

مصطلحات موضوعية: modellbasiertes Testen, Validierung und Verifikation, EULYNX, Spezifikation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1640::c7b3651de68f860ca17cb936421b49ae
https://elib.dlr.de/186159/

المؤلفون: Djurre van der Wal (10174541)

مصطلحات موضوعية: Computer Software, EULYNX, jEULYNX, DSL, MDE, FormaSig

Relation: https://figshare.com/articles/software/Source_code_of_the_jEULYNX_prototype_framework/14071319

الاتاحة: https://doi.org/10.4121/14071319.v1

المؤلفون: Meyer zu Hörste, Michael, Caspar, Mirko, Asbach, Lennart, Röwer, Oliver

مصطلحات موضوعية: LST, Institut für Verkehrssystemtechnik, Leit- und Sicherungstechnik, Tests, RailSiTe, Testen, EULYNX, V&V, ETCS, NeuPro, Simulation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1640::57fa327a8b82880da766f23d6d22f1de
https://elib.dlr.de/133873/

المؤلفون: Caspar, Mirko, Schwencke, Daniel, Hungar, Hardi

مصطلحات موضوعية: Stellwerk, automatische Testfallerstellung, Testen, EULYNX, modular

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1640::f949f1f3c6f358ab8972c31d2f1e46df
https://elib.dlr.de/120302/

المؤلفون: Kluge, Alexander

المساهمون: Maschek, Ulrich, Kahl, Richard, Fuchs, Stefan, Technische Universität Dresden

مصطلحات موضوعية: EULYNX, SCI-LX, BÜSA, DSTW, Leit- und Sicherungstechnik, LST, Laboranlage, info:eu-repo/classification/ddc/380, ddc:380, info:eu-repo/classification/ddc/620, ddc:620

Relation: https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-849002

الاتاحة: https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-849002

المؤلفون: Matikainen, Lassi, Sorsimo, Tero, Tuohino, Matias, Matikainen, Juuso

مصطلحات موضوعية: EULYNX, rautateiden turvalaitteet, asetinlaite

وصف الملف: true

Relation: Väyläviraston julkaisuja; 63/2023; https://www.doria.fi/handle/10024/187908; URN:ISBN:978-952-405-106-4

الاتاحة: https://www.doria.fi/handle/10024/187908

المؤلفون: Reiter, Frederic

المساهمون: Maschek, Ulrich, Kahl, Richard, Iffländer, Lukas, Technische Universität Dresden

مصطلحات موضوعية: DSTW, EULYNX, Testumgebung, Leit- und Sicherungstechnik, info:eu-repo/classification/ddc/380, ddc:380

Relation: https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-837303

الاتاحة: https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-837303

المؤلفون: Biehl, Anika

المساهمون: Kahl, Richard, Maschek, Ulrich, Sélley, György, Technische Universität Dresden

مصطلحات موضوعية: BÜ, ETCS, FSÜ, ÜSOE, Bremskurven, BÜSA, FS, MA, Level Crossing, SCI-LX, Braking Curve, Eulynx, info:eu-repo/classification/ddc/380, ddc:380, scipo

Relation: https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-807300

الاتاحة: https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-807300

المؤلفون: Daniel Chlebek

المساهمون: Leso Martin, Dobiáš Radek

مصطلحات موضوعية: Železnice 4.0, Železniční zabezpečovací zařízení, digitalizace železnice, EULYNX, ETCS, Railway 4.0, Railway signalling, digitalization of railway

وصف الملف: application/pdf

Relation: KOS-1084808717505; http://hdl.handle.net/10467/104076

الاتاحة: http://hdl.handle.net/10467/104076

المؤلفون: Bhattacharya, Arghya

المساهمون: Kokkonen, Tommi, Sähkötekniikan korkeakoulu, Vyatkin, Valeriy, Aalto-yliopisto, Aalto University

مصطلحات موضوعية: interlocking, railway, PLC, ERTMS, EULYNX, RCA, envir, info

Relation: https://aaltodoc.aalto.fi/handle/123456789/44359

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/44359

المؤلفون: Wontorski, Paweł, Dzierżak, Magdalena

مصطلحات موضوعية: system srk, standardowa architektura, RCA, EULYNX, signalling, standard architecture

URL الوصول: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-d61d68e1-b2ea-4199-92f1-64df40970d97

المؤلفون: Maschek, Ulrich, Kahl, Richard, Fuchs, Stefan, Technische Universität Dresden, Kluge, Alexander

مصطلحات الفهرس: EULYNX, SCI-LX, BÜSA, DSTW, Leit- und Sicherungstechnik, LST, Laboranlage, info:eu-repo/classification/ddc/380, ddc:380, info:eu-repo/classification/ddc/620, ddc:620, info:eu-repo/semantics/updatedVersion, doc-type:masterThesis, info:eu-repo/semantics/masterThesis, doc-type:Text

URL: https://tud.qucosa.de/id/qucosa%3A84900
https://tud.qucosa.de/api/qucosa%3A84900/attachment/ATT-0/

المؤلفون: Trinckauf, Jochen, Polze, Andreas, Technische Universität Dresden, Kahl, Richard

مصطلحات الفهرس: ETCS, Zugbeeinflussungssystem, Eisenbahn, EULYNX, Versuchsanlage, info:eu-repo/classification/ddc/380, ddc:380, info:eu-repo/semantics/publishedVersion, doc-type:doctoralThesis, info:eu-repo/semantics/doctoralThesis, doc-type:Text

URL: https://tud.qucosa.de/id/qucosa%3A87635
https://tud.qucosa.de/api/qucosa%3A87635/attachment/ATT-0/