Sciweavers

14244 search results - page 313 / 2849
» Modeling Program Predictability
Sort
View
IFIP
2004
Springer
16 years 3 days ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
IFIP
2004
Springer
16 years 3 days ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
ICLP
2003
Springer
15 years 12 months ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato