Sciweavers

62 search results - page 13 / 13
» ASAP: An Extensible Platform for State Space Analysis
Sort
View
SPIN
2007
Springer
13 years 11 months ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
BMCBI
2007
217views more  BMCBI 2007»
13 years 5 months ago
On consensus biomarker selection
Background: Recent development of mass spectrometry technology enabled the analysis of complex peptide mixtures. A lot of effort is currently devoted to the identification of biom...
Janusz Dutkowski, Anna Gambin