Registered user since Wed 19 Jun 2019
Name:Taeho Kim
Country:South Korea
Affiliation:Electronics and Telecommunications Research Institute (ETRI)
Research interests:Software Safety, Formal Verification, System Software, Neuromorphic Software
Contributions
| ICSE 2020 | Programme Committee in Program Committee within the Software Engineering in Practice-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2020-profile
View general profile
View general profile