Time-bounded analysis of real-time systems
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
SEMCCO'11 Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part II
Observation tools for effective schedules in a RTOS
ACM SIGBED Review - 2nd Workshop on Embed With Linux (EWiLi 2012)
Performance analysis of a rule-based SOA component for real-time applications
Proceedings of the 28th Annual ACM Symposium on Applied Computing
A regression test selection technique for embedded software
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |