Producing a Set of Models for the Iron Homeostasis Network

Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis +1

This paper presents a method for modeling biological systems which combines formal techniques on intervals, numerical simulations and satisfaction of Signal Temporal Logic (STL) fo…