ITRT
IT Research Trends
논문
논문
저자
기관
국가
키워드
Search
소개
분석
인기 자료
연구분야별 논문
Analysis
Artificial Intelligence
Cryptography
Databases
Infrastructure
Networking
Safety
Software Development
Strategies
Verification
로그인
회원가입
Search by keyword
University of Bergamo Bergamo Italy
Home
search page
affiliation
University of Bergamo Bergamo Italy
국가:
Italy
주요 연구 분야:
Verification
주요 키워드:
#robotics
#robots
#researchers
주요 저자:
#Paolo Arcaini
#Andrea Bombarda
#Silvia Bonfanti
#Angelo Gargantini
#Sven Peldszus
더보기
#Paolo Arcaini
#Andrea Bombarda
#Silvia Bonfanti
#Angelo Gargantini
#Sven Peldszus
#Davide Brugali
#Daniel Strüber
#Patrizio Pelliccione
#Thorsten Berger
#Elvinia Riccobene
#Patrizia Scandurra
좋아요 (
0
)
PDF 저장
📄 기관 상세정보
출판수
3
총 인용수
14
평균 인용수
4.67
저자 수
11
좋아요 수
0
정량적 분석
정성적 분석
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도
로그인 후 사용 가능
📊 분석 중입니다. 잠시만 기다려 주세요...
논문 목록
(3건)
내 서재 담기
Software reconfiguration in robotics
저자:
Sven Peldszus
,
Davide Brugali
,
Daniel Strüber
,
Patrizio Pelliccione
,
Thorsten Berger
키워드:
#robotics
#robots
#researchers
#software
#builders
파트:
Verification
|
연도:
2025
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
저자:
Paolo Arcaini
,
Silvia Bonfanti
,
Angelo Gargantini
,
Elvinia Riccobene
,
Patrizia Scandurra
키워드:
#engineering
#modeling
#automotive
#verification
#toolset
파트:
Verification
|
연도:
2024
Dealing with Robustness of Convolutional Neural Networks for Image Classification
저자:
Paolo Arcaini
,
Andrea Bombarda
,
Silvia Bonfanti
,
Angelo Gargantini
키워드:
#medical
#neural
#robustness
#important
#histologic
파트:
Verification
|
연도:
2020