Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Bahrami, Abdorrahim"'
Autor:
de Maria, Elisabetta, Despeyroux, Joelle, Felty, Amy, Liò, Pietro, Olarte, Carlos, Bahrami, Abdorrahim
We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The
Externí odkaz:
http://arxiv.org/abs/2007.07571
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bahrami, Abdorrahim
Since the mid-1990s, formal verification has become increasingly important because it can provide guarantees that a software system is free of bugs and working correctly based on a provided model. Verification of biological and medical systems is a p
Externí odkaz:
http://hdl.handle.net/10393/42643
Publikováno v:
ACM International Conference Proceeding Series; 12/10/2018, p1-11, 11p
