Publications

Export 1 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is R and Author is J. H. Kim  [Clear All Filters]
Conference Proceedings
Kim J.H, Legay A., Larsen K.G, Mikucionis M., Nielsen B..  2015.  Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.