- Referenced in 57 articles
- GreatSPN2.0 is a software package for the modeling...
- Referenced in 6075 articles
- Almost any workflow involves computing results, and that...
- Referenced in 12557 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 29 articles
- This paper describes TimeNET (Timed Net Evaluation Tool...
- Referenced in 423 articles
- PRISM: Probabilistic symbolic model checker. In this paper...
- Referenced in 41 articles
- GreatSPN 1.7: graphical editor and analyzer for timed...
- Referenced in 10 articles
- JumpStart: A just-in-Time signaling architecture for...
- Referenced in 42 articles
- SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator...
- Referenced in 490 articles
- From this page you can get a Matlab...
- Referenced in 14 articles
- NOMADm is a MATLAB implementation of the class...
- Referenced in 36 articles
- Xpress-Mosel. Multi-solver, multi-problem, multi-model...
- Referenced in 140 articles
- MCQueue: educational software for Markov Chains and Queues...
- Referenced in 9 articles
- Computing moments of first passage times to a...
- Referenced in 580 articles
- Matlab® implementation of the JDQZ algorithm. The JDQZ...
- Referenced in 48 articles
- SPNP: Stochastic Petri Nets. The Stochastic Petri Net...
- Referenced in 76 articles
- EMpht is a program for fitting phase-type...
- Referenced in 269 articles
- ANFIS: adaptive-network-based fuzzy inference system. The...
- Referenced in 363 articles
- UMDES Software Library: UMDES-LIB is a library...
- Referenced in 3 articles
- A general purpose module using refined descriptive sampling...
- Referenced in 426 articles
- BRENT Algorithms for Minimization Without Derivatives. BRENT is...