Précédent : La programmation par ICOBJS Remonter : Scripts et objets réactifs Suivant : Vérification et analyse de systèmes
Précédent : La programmation par ICOBJS Remonter :
Scripts
et objets réactifs Suivant : Vérification et analyse de
systèmes
Participant : Karima Machane
Nous continuons l'étude de la production d'automates, en liaison avec le langage SL, à partir d'un noyau de la POR/RLib de la société Soft Mountain, basé sur Reactive-C et utilisé dans un contexte industriel.