ACM Transactions on Computer Systems (TOCS)
Towards Complexity Metrics for Ada Tasking
IEEE Transactions on Software Engineering
On the efficient generation of discrete event sample paths under different system parameter values
Mathematics and Computers in Simulation
A Petri net framework for automated analysis of Ada tasking behavior
Journal of Systems and Software
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Hi-index | 0.00 |