Joon-Ha Jang
According to our database1,
Joon-Ha Jang
authored at least 3 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023
2017
Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems.
J. Commun., 2017