Search results for: Jesung Kim
IEEE Transactions on Computers > 2017 > 66 > 7 > 1200 - 1211
Lecture Notes in Computer Science > Model-Driven Development of Reliable Automotive Services > Model Transformations > 48-66
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 432-447
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2015 > 23 > 2 > 254 - 265
IEEE Transactions on Computers > 2010 > 59 > 9 > 1281 - 1294
Electronic Notes in Theoretical Computer Science > 2006 > 144 > 4 > 91-108
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 2 > 1-21