Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
26 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Sprache

Geographischer Bezug

26 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Towards Automating Model-Based Systems Engineering in Industry - An Experience Report
    Cederbladh, Johan ; Berardinelli, Luca ; et al.
    In: The 18th Annual IEEE International Systems Conference (SYSCON 2024) ; https://hal.science/hal-04448172 ; The 18th Annual IEEE International Systems Conference (SYSCON 2024), Apr 2024, Montreal, Canada, 2024
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Towards Automating Model-Based Systems Engineering in Industry - An Experience Report
    Cederbladh, Johan ; Berardinelli, Luca ; et al.
    In: The 18th Annual IEEE International Systems Conference (SYSCON 2024) ; https://hal.science/hal-04448172 ; The 18th Annual IEEE International Systems Conference (SYSCON 2024), Apr 2024, Montreal, Canada, 2024
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    AIDOaRt: AI-augmented Automation for DevOps, a Model-based Framework for Continuous Development in Cyber-Physical Systems
    Eramo, Romina ; Muttillo, Vittoriano ; et al.
    In: 24th Euromicro Conference on Digital System Design (DSD 2021) ; https://hal.science/hal-03287359 ; 24th Euromicro Conference on Digital System Design (DSD 2021), Sep 2021, Palermo, Italy. ⟨10.1109/DSD53832.2021.00053⟩, 2021
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    AIDOaRt: AI-augmented Automation for DevOps, a Model-based Framework for Continuous Development in Cyber-Physical Systems
    Eramo, Romina ; Muttillo, Vittoriano ; et al.
    In: 24th Euromicro Conference on Digital System Design (DSD 2021) ; https://hal.science/hal-03287359 ; 24th Euromicro Conference on Digital System Design (DSD 2021), Sep 2021, Palermo, Italy. ⟨10.1109/DSD53832.2021.00053⟩, 2021
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    AIDOaRt: AI-augmented Automation for DevOps, a Model-based Framework for Continuous Development in Cyber-Physical Systems
    Eramo, Romina ; Muttillo, Vittoriano ; et al.
    In: 24th Euromicro Conference on Digital System Design (DSD 2021) ; https://hal.archives-ouvertes.fr/hal-03287359 ; 24th Euromicro Conference on Digital System Design (DSD 2021), Sep 2021, Palermo, Italy. ⟨10.1109/DSD53832.2021.00053⟩, 2021
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Statistical Model Checking of Complex Robotic Systems
    Foughali, Mohammed ; Ingrand, Félix ; et al.
    In: 26th International SPIN Symposium on Model Checking of Software ; https://hal.laas.fr/hal-02152286 ; 26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects - A Preliminary Case Study of the MegaM@Rt2 EU Project
    Sadovykh, Andrey ; Truscan, Dragos ; et al.
    In: Design, Automation And Test in Europe (DATE 2019) ; https://hal.science/hal-02103168 ; Design, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
    Sadovykh, Andrey ; Truscan, Dragos ; et al.
    In: Software Technology: Methods and Tools (TOOLS 2019) ; https://hal.science/hal-02177567 ; Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.393-405, ⟨10.1007/978-3-030-29852-4_33⟩, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    An Integrated Model-based Tool Chain for Managing Variability in Complex System Design
    Bilic, Damir ; Brosse, Etienne ; et al.
    In: Models and Evolution Workshop (ME 2019), co-located with the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019) ; https://hal.science/hal-02285013, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects - A Preliminary Case Study of the MegaM@Rt2 EU Project
    Sadovykh, Andrey ; Truscan, Dragos ; et al.
    In: Design, Automation And Test in Europe (DATE 2019) ; https://hal.science/hal-02103168 ; Design, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
    Sadovykh, Andrey ; Truscan, Dragos ; et al.
    In: Software Technology: Methods and Tools (TOOLS 2019) ; https://hal.science/hal-02177567 ; Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.393-405, ⟨10.1007/978-3-030-29852-4_33⟩, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    An Integrated Model-based Tool Chain for Managing Variability in Complex System Design
    Bilic, Damir ; Brosse, Etienne ; et al.
    In: Models and Evolution Workshop (ME 2019), co-located with the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019) ; https://hal.science/hal-02285013, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects - A Preliminary Case Study of the MegaM@Rt2 EU Project
    Sadovykh, Andrey ; Truscan, Dragos ; et al.
    In: Design, Automation And Test in Europe (DATE 2019) ; https://hal.archives-ouvertes.fr/hal-02103168 ; Design, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Statistical Model Checking of Complex Robotic Systems
    Foughali, Mohammed ; Ingrand, Félix ; et al.
    In: 26th International SPIN Symposium on Model Checking of Software ; https://hal.laas.fr/hal-02152286 ; 26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
    Sadovykh, Andrey ; Truscan, Dragos ; et al.
    In: Software Technology: Methods and Tools (TOOLS 2019) ; https://hal.archives-ouvertes.fr/hal-02177567 ; Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.393-405, ⟨10.1007/978-3-030-29852-4_33⟩, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    An Integrated Model-based Tool Chain for Managing Variability in Complex System Design
    Bilic, Damir ; Brosse, Etienne ; et al.
    In: Models and Evolution Workshop (ME 2019), co-located with the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019) ; https://hal.archives-ouvertes.fr/hal-02285013, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Statistical Model Checking of Complex Robotic Systems
    Foughali, Mohammed ; Ingrand, Félix ; et al.
    In: 26th International SPIN Symposium on Model Checking of Software ; https://hal.laas.fr/hal-02152286 ; 26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project
    Sadovykh, Andrey ; Bagnato, Alessandra ; et al.
    In: SEDA 2018: Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Model-Based System Engineering in Practice: Document Generation - MegaM@Rt2 Project Experience
    Sadovykh, Andrey ; Ashraf, Adnan ; et al.
    In: 14th Central and Eastern European Software Engineering Conference Russia (CEE-SECR'18) ; https://hal.science/hal-02102852 ; 14th Central and Eastern European Software Engineering Conference Russia (CEE-SECR'18), Oct 2018, Moscow, Russia. pp.1-6, ⟨10.1145/3290621.3290633⟩ ; https://dl.acm.org/citation.cfm?doid=3290621.3290633, 2018
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project
    Sadovykh, Andrey ; Bagnato, Alessandra ; et al.
    In: SEDA 2018: Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -