يعرض 1 - 20 نتائج من 39 نتيجة بحث عن '"Railway Domain"', وقت الاستعلام: 2.51s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Academic Journal
  3. 3
    Conference

    Relation: International Conference on Software Engineering and Formal Methods 2022; Workshop on Artificial Intelligence for Engineering Applications 2022; Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; KI-Lokomotivesysteme - Prüfverfahren für KI-basierte Komponenten im Eisenbahnbetrieb; 19121007A; https://publica.fraunhofer.de/handle/publica/440441

  4. 4

    المصدر: 2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021) IEEE International Conference on Software Quality, Reliability and Security Companion. :177-183

    وصف الملف: print

  5. 5
    Dissertation/ Thesis

    المؤلفون: Rossi, Mathieu

    المساهمون: Michel Hecquet, Stéphane Brisset, Vincent Lanfranchi, Laboratoire d’Électrotechnique et d’Électronique de Puissance - ULR 2697 L2EP

    وصف الملف: application/octet-stream

    Relation: École doctorale Sciences pour l'Ingénieur (Lille); http://hdl.handle.net/20.500.12210/21069

  6. 6
  7. 7
    Conference

    المساهمون: Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (IFSTTAR/COSYS/ESTAS), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-PRES Université Lille Nord de France, Ecole Polytechnique Fédérale de Lausanne (EPFL)

    المصدر: Data Science and Mobility Conference ; https://hal.science/hal-01935286 ; Data Science and Mobility Conference, Jan 2018, Lausanne, Switzerland. 18p

    جغرافية الموضوع: Lausanne, Switzerland

    Relation: hal-01935286; https://hal.science/hal-01935286

  8. 8
  9. 9
  10. 10
    Dissertation/ Thesis
  11. 11
    Academic Journal

    المساهمون: Cimatti, Alessandro, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

    Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000289901500002; volume:10; issue:2; firstpage:147; lastpage:160; numberofpages:14; journal:SOFTWARE AND SYSTEMS MODELING; http://hdl.handle.net/11572/258679; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79955485077; https://link.springer.com/article/10.1007/s10270-009-0130-7

  12. 12
    Dissertation/ Thesis
  13. 13

    المؤلفون: Rossi, Mathieu

    المساهمون: Michel Hecquet, Stéphane Brisset, Vincent Lanfranchi, Laboratoire d’Électrotechnique et d’Électronique de Puissance - ULR 2697 [L2EP], Laboratoire d’Électrotechnique et d’Électronique de Puissance - ULR 2697 (L2EP), Centrale Lille-Haute Etude d'Ingénieurs-Université de Lille-Arts et Métiers Sciences et Technologies, HESAM Université (HESAM)-HESAM Université (HESAM), Ecole Centrale de Lille, Centrale Lille-Université de Lille-Arts et Métiers Sciences et Technologies, HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-JUNIA (JUNIA), Université catholique de Lille (UCL)-Université catholique de Lille (UCL)

    المصدر: Autre. Ecole Centrale de Lille, 2012. Français. ⟨NNT : 2012ECLI0034⟩

    وصف الملف: application/octet-stream

  14. 14
    Dissertation/ Thesis

    المؤلفون: Rossi, Mathieu

    المساهمون: Laboratoire d’Électrotechnique et d’Électronique de Puissance - ULR 2697 (L2EP), Centrale Lille-Université de Lille-Arts et Métiers Sciences et Technologies-JUNIA (JUNIA), Université catholique de Lille (UCL)-Université catholique de Lille (UCL), Ecole Centrale de Lille, Michel Hecquet, Stéphane Brisset, Vincent Lanfranchi

    المصدر: https://theses.hal.science/tel-00917884 ; Autre. Ecole Centrale de Lille, 2012. Français. ⟨NNT : 2012ECLI0034⟩.

    Relation: NNT: 2012ECLI0034

  15. 15
    Dissertation/ Thesis
  16. 16
    Dissertation/ Thesis

    المساهمون: Tintarev, N. (mentor), Najafian, S. (mentor), Houben, G.J.P.M. (graduation committee), Spaan, M.T.J. (graduation committee), Delft University of Technology (degree granting institution)

  17. 17
    Dissertation/ Thesis
  18. 18
    Academic Journal
  19. 19
    Electronic Resource
  20. 20
    Electronic Resource