Specification, safety and reliability analysis using Stochastic Petri Net models

Conference paper

FT Sheldon, S Greiner and M Benzinger

Tenth International Workshop on Software Specification and Design. IWSSD-10

01/01/2000

Metrics

1 Record Views

Title: Specification, safety and reliability analysis using Stochastic Petri Net models
Creators: FT Sheldon
S Greiner
M Benzinger
Conference: Tenth International Workshop on Software Specification and Design. IWSSD-10
Identifiers: 997015876301851
Academic Unit: Computer Science
Language: English
Resource Type: Conference paper