|
СТ |
Specification-Level Integration of Simulation and Dependability Analysis |
2003 |
Gokhale S. S., Horgan J. R., Trivedi K. S. |
|
|
|
Lecture Notes in Computer Science |
13.01.2004 |
|
СТ |
SPNP: Stochastic Petri Nets. Version 6.0 |
2000 |
Hirel C., Tuffin B., Trivedi K. S. |
|
|
|
Lecture Notes in Computer Science |
18.04.2000 |
|
СТ |
SREPT: Software Reliability Estimation and Prediction Tool |
2000 |
Ramani S., Trivedi K. S. |
|
|
|
Lecture Notes in Computer Science |
18.04.2000 |
|
СТ |
Discrete-Event Simulation of Fluid Stochastic Petri Nets |
1999 |
Ciardo G., Nicol D. M., Trivedi K. S. |
|
|
|
IEEE Trans. on Software Engineering |
17.07.1999 |
|
СТ |
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models |
1996 |
Mainkar V., Trivedi K. S. |
|
|
|
IEEE Trans. on Software Engineering |
20.12.1996 |
|
СТ |
Phased-Mission System Analysis Using Boolean Algebraic Methods |
1994 |
Somani A. K., Trivedi K. S. |
|
|
|
Performance Evaluation Review |
01.08.1994 |
|
СТ |
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives |
1994 |
Trivedi K. S., Haverkort B. R., Rindos A., Mainkar V. |
|
|
|
Lecture Notes in Computer Science |
07.07.1994 |
|
СТ |
Integration of Specification for Modeling and Specification for System Design |
1993 |
Wang Ch. -Y., Trivedi K. S. |
|
|
|
Lecture Notes in Computer Science |
24.08.1993 |
|
СТ |
FSPNs: Fluid Stochastic Petri Nets |
1993 |
Trivedi K. S., Kulkarni V. G. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
|
СТ |
Transient Analysis of Deterministic and Stochastic Petri Nets |
1993 |
Choi H., Kulkarni V. G., Trivedi K. S. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
