Sciweavers

10585 search results - page 352 / 2117
» The Orc Programming Language
Sort
View
IFIP
2004
Springer
16 years 3 days ago
Airbus fly-by-wire - A total approach to dependability
Pascal Traverse, Isabelle Lacaze, Jean Souyris
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