Conference
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Maude를 활용한 OSEK/VDX OS API 정형 명세 및 검증
- Title
- Maude를 활용한 OSEK/VDX OS API 정형 명세 및 검증
- Authors
- KIM, SANGKI; BAE, KYUNGMIN
- Date Issued
- 2022-06-29
- Publisher
- 한국정보과학회
- Article Type
- Conference
- Citation
- 한국컴퓨터종합학술대회 (KCC2022), 2022-06-29
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.