Two-tier agent architecture for trusted communication in ad-hoc mobile networks
WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
Automated generation of test suites from formal specifications of real-time reactive systems
Journal of Systems and Software
Early quality monitoring in the development of real-time reactive systems
Journal of Systems and Software
Hi-index | 0.00 |