Fecha de inicio: 2011-05-01, Fecha de finalización: 2016-04-30
"The project aims to build and evaluate a theory of quantitative fitness measures for reactive models. Such a theory must strive to obtain quantitative generalizations of the paradigms that have been success stories in qualitative reactive modeling, such as compositionality, ...
Record Number: 98757
Last updated on: 2015-03-10