Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F86652079%3A_____%2F18%3A00536273" target="_blank" >RIV/86652079:_____/18:00536273 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216224:14330/20:00114281 RIV/86652079:_____/20:00536273
Výsledek na webu
<a href="http://dx.doi.org/10.1016/j.entcs.2020.06.006" target="_blank" >http://dx.doi.org/10.1016/j.entcs.2020.06.006</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.entcs.2020.06.006" target="_blank" >10.1016/j.entcs.2020.06.006</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Popis výsledku v původním jazyce
We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.
Název v anglickém jazyce
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Popis výsledku anglicky
We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20801 - Environmental biotechnology
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2018
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
ISBN
—
ISSN
1571-0661
e-ISSN
—
Počet stran výsledku
26
Strana od-do
91-116
Název nakladatele
Elsevier
Místo vydání
Freiburg
Místo konání akce
Freiburg
Datum konání akce
28. 8. 2018
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
000577846300006