Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Modelling, observability and experiment: a case study - Positive feedback loop in a genetic regulatory network

Autor: Bernot, G., Guespin, J., Comet, J.-P., Amar, P., Zemirline, A., Delaplace, F., Ballet, P., Richard, A.

We propose an new methodology for modelling of biological regulatory networks inspired by the design and validation of large computing systems. We take into account the capability to validate a model by a set of biological experiments. So defining a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fc11d485b212c46b8dc79dd0a044105c
https://hal.univ-brest.fr/hal-01002535

A systematic approach for integration testing of complex systems

Autor: Mercier F., Bertolino A., Le Gall P., Bernot G.

Publikováno v: 11th International Conference on Software Engineering and its Applications, Paris, France, December 8-10 1998
info:cnr-pdr/source/autori:Mercier F.; Bertolino A.; Le Gall P.; Bernot G./congresso_nome:11th International Conference on Software Engineering and its Applications/congresso_luogo:Paris, France/congresso_data:December 8-10 1998/anno:1998/pagina_da:/pagina_a:/intervallo_pagine

An abstract is not available.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e14124bff35b6a2596b4894889f1f061
https://openportal.isti.cnr.it/doc?id=people______::e14124bff35b6a2596b4894889f1f061

Verification of biological models with Timed Hybrid Petri Nets.

Autor: Troncale, S., Comet, J.-P., Bernot, G.

Publikováno v: AIP Conference Proceedings; 11/2/2007, Vol. 952 Issue 1, p287-296, 10p, 3 Diagrams

Marked regulatory graphs: a formal framework to simulate biological regulatory networks with simple automata.

Autor: Bassano, V., Bernot, G.

Publikováno v: Proceedings of the 14th IEEE International Workshop on Rapid Systems Prototyping, 2003; 2003, p93-99, 7p