Tuning Temporal Features within the Stochastic π-Calculus
Article Properties
-
DOI (url)
-
Publication Date2011/11/01
-
Indian UGC (journal)
-
Refrences36
-
Loic Pauleve
-
Morgan Magnin
-
Olivier Roux
Cite
Pauleve, Loic, et al. “Tuning Temporal Features Within the Stochastic π-Calculus”. IEEE Transactions on Software Engineering, vol. 37, no. 6, 2011, pp. 858-71, https://doi.org/10.1109/tse.2010.95.
Pauleve, L., Magnin, M., & Roux, O. (2011). Tuning Temporal Features within the Stochastic π-Calculus. IEEE Transactions on Software Engineering, 37(6), 858-871. https://doi.org/10.1109/tse.2010.95
Pauleve L, Magnin M, Roux O. Tuning Temporal Features within the Stochastic π-Calculus. IEEE Transactions on Software Engineering. 2011;37(6):858-71.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electric apparatus and materials
Electric circuits
Electric networks
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
- Defect prediction from static code features: current results, limitations, new approaches
- An investigation on the feasibility of cross-project defect prediction
- Sample-based software defect prediction with active and semi-supervised learning
- Two case studies of open source software development
- Alloy
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Inferences about the Scale Parameter of the Gamma Distribution Based on Data Mixed from Censoring and Grouping | 2003 | |||
Model checking stochastic automata | ACM Transactions on Computational Logic |
| 7 | 2003 |
| Symmetry Reduction for Probabilistic Model Checking | 2006 | |||
| The Theory of Timed Automata | 1992 | |||
| PRISM: A Tool for Automatic Verification of Probabilistic Systems | 2006 |