Verificação probabilística de modelos para modelagem e análise de interações de toxinas com sistemas de transporte transmembrânico de íons = Probabilistic Model Checking for modeling and analysis of toxins interactions with transmembrane ionic transport systems
=== Probabilistic Model Checking (PMC) is a formal verification technique to model and analyze stochastic systems. It can be applied directly to biological systems which present stochastic behavior, including transmembrane ionic transport systems. These systems are responsible for exchanging ions a...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2013
|
| Online Access: | http://hdl.handle.net/1843/ESBF-97GPXM |