Young Ah Ahn

According to our database, Young Ah Ahn authored at least 2 papers in 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

FDR verification of ESANP protocol in Ad hoc Network.

Young Ah Ahn, Jin-Young Choi

Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Development of RTOS for PLC Using Formal Methods.

Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004