복합 시스템의 분석을 위한 특정 도메인 개념 모델링: IoT 기반 Smart City 관점

2023과학기술정보통신부국가간협력기반조성
프로젝트 소개
정형기법프로세스대수메타모델링모델링 도구Formal MethodProcess AlgebraMeta-ModelingModeling Tool
참여형태
주관
사업명
국가간협력기반조성
부처명
과학기술정보통신부
주관기관명
전북대학
과제 수행연도
2023
과제 수행기간
2022.10.01 ~ 2024.09.30
과제 고유번호
1711199672
연구 개발단계
개발연구
연구비
총연구비
15,000,000 원
정부지원연구개발비
15,000,000 원
위탁연구비
0 원
민간연구비
0 원
주관/협동기관 정보
주관/협동수행기관명연구수행주체지역
주관전북대학대학전라북도
과제 기반 국내외 특허0건
출원/등록 기관발명의 명칭출원일자출원국가출원번호등록일자등록번호
과제 기반 SCI(E) 논문0건
논문명학술지명DOI/URL