6 search results - page 1 / 2 » isola 2007 |
ISOLA
2007
Springer
14 years 3 days ago
2007
Springer
ISOLA
2007
Springer
14 years 3 days ago
2007
Springer
BMCBI
2008
13 years 6 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
14 years 3 days 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
14 years 3 days 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: ...