Sciweavers

7892 search results - page 68 / 1579
» Programming with Models
Sort
View
IFIP
2004
Springer
15 years 6 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
IFIP
2004
Springer
15 years 6 months ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan