12 search results - page 3 / 3 » frocos 2005 |
FROCOS
2005
Springer
14 years 4 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
14 years 4 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...