12 search results - page 3 / 3 » frocos 2005 |
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...