A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
Software engineering and performance: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Process algebra for performance evaluation
Theoretical Computer Science
Evaluating Performance from Formal Specification
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Formal approach to QoS specification and verification
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
| Hi-index | 0.00 |