6 search results - page 1 / 2 » isola 2007 |
ISOLA
2007
Springer
13 years 11 months ago
2007
Springer
ISOLA
2007
Springer
13 years 11 months ago
2007
Springer
BMCBI
2008
13 years 4 months ago
2008
Background: Present-day `-omics' technologies produce overwhelming amounts of data which include genome sequences, information on gene expression (transcripts and proteins) a...
ISOLA
2007
Springer
13 years 11 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...
ISOLA
2007
Springer
13 years 11 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: ...