김진규 교수 연구실
The 17th NASA Formal Methods Symposium (NFM2025)
Querying Labeled Time Series Data with Scenario Programs
구분
국외
국가
미국
컨퍼런스명
The 17th NASA Formal Methods Symposium (NFM2025)
발표 제목
Querying Labeled Time Series Data with Scenario Programs
기관명
NASA
참여 연도
2025
상세 설명
NASA