16 search results - page 4 / 4 » taco 2008 |
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...