Sciweavers

6 search results - page 2 / 2
» Parametric Performance Contracts for Software Components wit...
Sort
View
RISE
2005
Springer
15 years 8 months ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna