WWW-based software architecture design support for cooperative representation and checking
ISAW '98 Proceedings of the third international workshop on Software architecture
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Scenario-Based Performance Evaluation of SDL/MSC-Specified Systems
Performance Engineering, State of the Art and Current Trends
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Embedded Systems Design
Hi-index | 0.00 |