ITRT
IT Research Trends
논문
논문
저자
기관
국가
키워드
Search
소개
분석
인기 자료
연구분야별 논문
Analysis
Artificial Intelligence
Cryptography
Databases
Infrastructure
Networking
Safety
Software Development
Strategies
Verification
로그인
회원가입
Search by keyword
Sierra Leone
Home
search page
country
Sierra Leone
주요파트:
Verification
주요 키워드:
#challenging
#complex
#engineering
주요 기관:
#Fent Innovative Software Solutions SL Spain
더보기
#Fent Innovative Software Solutions SL Spain
#Iquadrat Informatica SL Barcelona Spain
주요 저자:
#Victor Morales
#Kostas Ramantas
좋아요 (
0
)
PDF 저장
📄 국가 상세정보
출판수
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