Sciweavers

8109 search results - page 74 / 1622
» A Model of Component-Based Programming
Sort
View
95
Voted
IFIP
2004
Springer
15 years 7 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
IFIP
2004
Springer
15 years 7 months ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
ICLP
2003
Springer
15 years 7 months ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato