Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is N and Author is B. Nielsen  [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.