Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Representing architectural evolution
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Models and tools for managing development processes
Models and tools for managing development processes
Formalising interactive voice services with SDL
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |