ISOLA
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
ISOLA
2007
Springer
13 years 10 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
ISOLA
2007
Springer
13 years 10 months ago
2007
Springer
ISOLA
2007
Springer
13 years 10 months ago
2007
Springer
ISOLA
2007
Springer
13 years 10 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...