Cet ouvrage se veut une contribution à une meilleure compréhension de l'évolution des modèles de simulation dans leur cycle de vie. Le concept au coeur de cet objectif est celui de modélisation multi-analyse qui vise à conjuguer la simulation, les capacités de raisonnement symbolique, et les moyens de synthèse automatique de code, à partir d'une spécification unique. Cet effort, qui est au service de l'ingénierie modèle-centrée des systèmes complexes, est à la croisée de la théorie mathématique des systèmes dynamiques, des méthodes formelles et du génie logiciel avancé.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Lara entame un stage en psychiatrie d’addictologie, en vue d’ouvrir ensuite une structure d’accueil pour jeunes en situation d’addiction au numérique...
Un douloureux passage à l'âge adulte, entre sensibilité et horreur...
Blanche vient de perdre son mari, Pierre, son autre elle-même. Un jour, elle rencontre Jules, un vieil homme amoureux des fleurs...
Des idées de lecture pour ce début d'année !
