PEPA Nets: A Structured Performance Modelling Formalism
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Distributed Computing - Special issue: Verification of lazy caching
Property-preserving refinement of concurrent systems
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Specification in PDL with recursion
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Hi-index | 0.00 |