Parallel Analysis of Genetic Regulatory Networks
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F07%3A00019480" target="_blank" >RIV/00216224:14330/07:00019480 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Parallel Analysis of Genetic Regulatory Networks
Original language description
The use of model checking for the analysis of biological networks has attracted much attention recently. However, one of the practical limitations is the size of the model. The primary aim of this work is to demonstrate that such a limitation can be overcome by employing parallel LTL model checking.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1ET408050503" target="_blank" >1ET408050503: Techniques for automatic verification and validation of software and hardware systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů