The modelling and retrieval of documents using index expressions
ACM SIGIR Forum
Analysis of techniques in the assessment of ultra-reliable computerized systems
ACM SIGSOFT Software Engineering Notes
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Generating march tests automatically
ITC'94 Proceedings of the 1994 international conference on Test
| Hi-index | 0.00 |