Le modèle synchrone et le modèle asynchrone offrent la possibilité de spécifier des systèmes critiques comme les systèmes réactifs, les systèmes embarqués,...qui sont souvent utilisés dans les nouveaux domaines technologiques, l'industrie légère traditionnel, et l'industrie lourde traditionnel, où une erreur de programmation peut entraîner à de vraies catastrophes. Ce travail a l'objectif d'étudier le rôle de ces deux modèles dans la modélisation des systèmes réactifs, en utilisant des langages spéciaux : Langage asynchrone : comme Lotos, réseaux de Pétri, système des transitions ; Langage synchrone : comme Lustre, Esterel.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
"On n'est pas dans le futurisme, mais dans un drame bourgeois ou un thriller atmosphérique"
L'auteur se glisse en reporter discret au sein de sa propre famille pour en dresser un portrait d'une humanité forte et fragile
Au Rwanda, l'itinéraire d'une femme entre rêve d'idéal et souvenirs destructeurs
Participez et tentez votre chance pour gagner des livres !
