Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
FUNSOFT nets: a Petri-net based software process modeling language
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Hi-index | 0.00 |