Sciweavers

7892 search results - page 68 / 1579
» Programming with Models
Sort
View
94
Voted
IFIP
2007
Springer
15 years 8 months ago
Formal Modeling and Analysis of the Modbus Protocol
Bruno Dutertre
IFIP
2004
Springer
15 years 7 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
69
Voted
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