Sierra Leone

  1. Home
  2. search page
  3. country

Sierra Leone

주요파트: Verification

주요 키워드: #challenging #complex #engineering
주요 기관: #Fent Innovative Software Solutions SL Spain
주요 저자: #Victor Morales #Kostas Ramantas

📄 국가 상세정보

출판수3
총 인용수4
평균 인용수1.33
기관 수2
저자 수2
좋아요 수0
연도별 출판 논문
파트별 논문
국가 키워드
공동 국가 관계도

국가별 논문 목록 (3건)

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems
저자: Jürgen Becker , Leonard Masing , Tobias Dörr , Florian Schade , Georgios Keramidas , Christos P. Antonopoulos , Michail Mavropoulos , Efstratios Tiganourias , Vasilios Kelefouras , Konstantinos Antonopoulos , Nikolaos Voros , Umut Durak , Alexander Ahlbrecht , Wanja Zaeske , Christos Panagiotou , Dimitris Karadimas , Nico Adler , Andreas Sailer , Raphael Weber , Thomas Wilhelm , Florian Oszwald , Dominik Reinhardt , Mohamad Chamas , Adnan Bekan , Graham Smethurst , Fahad Siddiqui , Rafiullah Khan , Vahid Garousi , Sakir Sezer , Victor Morales
키워드: #engineering #challenging #complex #rapid #prototyping
파트: Verification | 연도: 2021
XANDAR: exploiting the x-by-construction paradigm in model-based development of safety-critical systems
저자: Leonard Masing , Tobias Dörr , Florian Schade , Michail Mavropoulos , Konstantinos Antonopoulos , Christos Panagiotou , Dimitris Karadimas , Nico Adler , Andreas Sailer , Raphael Weber , Thomas Wilhelm , Victor Morales , JÜrgen Becker , Georgios Keramidas , Christos P Antonopoulos , Efstratios Tiganourias , Vasilios I Kelefouras , Nikolaos S Voros , Umut Durak , Alexander Ahlbrecht , Wanja Zaeske , Geza Nemeth , Fahad Siddiqui , Rafiullah Khan , V. Garousi , Sakir Sezer
키워드: #challenging #security #automation #metamodel #construction
파트: Verification | 연도: 2022
Developing a 6G Data and ML Operations Automation via an End-To-End AI Framework: The 6G-DALI Context
저자: Ioannis P. Chochliouros , Anastasia S. Spiliopoulou , Kostas Ramantas , Vasileios Theodorou , Christian Pinto , Takai Eddine Kennouche , Adlen Ksentini , Franco Minucci , Dimitrios Amaxiliatis , Giacomo Bernini , Luigi Briguglio , Rihan Hai , Christos Verikoukis
키워드: #training #challenges #complex #retraining #orchestration
파트: Databases | 연도: 2025