Towards Compositional Verification in MEDISTAM-RT Methodological Framework
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Novel collaborative automated testing framework using DDF
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Service-Level management of adaptive distributed network applications
ISAS'04 Proceedings of the First international conference on Service Availability
Hi-index | 0.00 |