Sciweavers

10585 search results - page 352 / 2117
» The Orc Programming Language
Sort
View
139
Voted
IFIP
2004
Springer
16 years 23 days ago
Airbus fly-by-wire - A total approach to dependability
Pascal Traverse, Isabelle Lacaze, Jean Souyris
IFIP
2004
Springer
16 years 23 days ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
IFIP
2004
Springer
16 years 23 days ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan