Showing results 1 to 2 of 2
Automatic generation of metamorphic relations for a Cyber-Physical System-of-Systems using genetic algorithm = 유전 알고리즘을 사용한 사이버 물리 시스템 오브 시스템즈의 메타모픽 관계 생성 자동화 기법link Cho, Esther Kim; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
Automatically Generating Behavior Descriptions of a Cyber-Physical System-of-Systems 조미현; 김한수; 신용준; 배두환, 2022년 한국컴퓨터종합학술대회 (KCC2022), 한국컴퓨터종합학술대회, 2022-06-29 |
Discover