Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (PNPM91), December 2-5, 1991, Melbourne, Australia
Even when the generation and the solution of a CTM- C is required, the efficiency of the analysis might still be improved. The reachability ... [8] K. Trivedi and R. Geist, aquot;Decomposition in reliability analysis of fault-tolerant systems, aquot; IEEE Trans, on Rel., Dec. 1983. ... [12] U. S. Department of Defense, aquot;Reference Manual for the Ada programming language, aquot; ANSI/MIL-STD- 1815A-1983, Feb. 1983. [13] K.
| Title | : | Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (PNPM91), December 2-5, 1991, Melbourne, Australia |
| Author | : | Telecom Australia, IEEE Computer Society. Victorian Section, ACM-Sigmetrics |
| Publisher | : | IEEE Computer Society - 1991 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
