| Autor: |
Bakir, M.E., Konur, Savas, Gheorghe, Marian, Niculescu, I.M., Ipate, F. |
| Jazyk: |
angličtina |
| Rok vydání: |
2014 |
| Předmět: |
|
| Druh dokumentu: |
Conference Paper |
| DOI: |
10.1109/HPCC.2014.69 |
| Popis: |
The paper presents the use of a membrane computing model for specifying a synthetic biology pulse generator example and discusses some simulation results produced by the tools associated with this model and compare their performances. The results show the potential of the simulation approach over the other analysis tools like model checkers. |
| Databáze: |
Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|
