Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems
The Journal of Supercomputing
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |